Packages | Classes

Package de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver

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...