Packages |
package | imp |
Classes |
class | AxlVarSet |
| Abstract class to represent the mapping of an IAXLangElement to the corresponding variable used in formulas Specializations are for AxlFormulas, BddFormulas and SpassFormulas. More...
|
interface | IAxlVarSet |
| Interface to represent the mapping of an IAXLangElement to the corresponding variable used in formulas. More...
|
interface | ISolver |
| Interface for solvers for aXLang models. in development. More...
|
interface | IVariabilitySolver |
class | VariabilitySolver |
| Abstract class for the variability representation of the different aXLang models and its solving. More...
|