Implementation of abstract class BDDModel for AXLang feature configurations.
More...
List of all members.
Detailed Description
Implementation of abstract class BDDModel for AXLang feature configurations.
- Author:
- smann
- Version:
- 0.9.0
- Since:
- 0.9.0
Constructor & Destructor Documentation
de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.AxlBddVisitorFeatureConfiguration |
( |
BddSolverImp |
bddSolver |
) |
throws SolverException |
Constructor.
- Parameters:
-
- Exceptions:
-
Member Function Documentation
Configuration de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.axlModel |
( |
|
) |
|
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.checkConsistency |
( |
|
) |
throws SolverException [virtual] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.checkConsistency |
( |
int |
mode |
) |
throws SolverException |
fires the consistency checking of a configuration to an already translated feature model.
- Parameters:
-
| feature | configuration |
| check | mode: <0 ... conf model already translated!, check together with feature model 0 ... translate and check confmodel alone; >0 ... translate confmodel and check together with feature model |
- Returns:
- the result of the check
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.checkPreconditionOfSetAxlModel |
( |
IAXLangElement |
model |
) |
throws SolverException [protected, virtual] |
IAxlVarSet de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.getAxlBddVarSet |
( |
|
) |
[protected] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.getBddConfiguredFeatureModel |
( |
|
) |
|
Getter
- Returns:
- the BDD of the configured feature model
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.hasNoChildren |
( |
IAXLangElement |
parent |
) |
throws SolverException [protected, virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.setAxlBddVisitorFeatureModel |
( |
AxlBddVisitorFeatureModel |
visitorFeatureModel |
) |
throws SolverException |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.translateConfiguration |
( |
Configuration |
model |
) |
throws SolverException [protected] |
Translating a configuration to a corresponding BDD Precondition: corresponding feature model has been already translated into a BDD, i.e. class attribute modelBddVarSet has been already built and contains the configured features reads/uses attributes: modelBddVarSet, bddFactory.
precondition: corresponding feature model has been already translated to the BDD, i.e. feaModelBddVarSet is created and not empty.
- Parameters:
-
| model,: | the configuration to a feature model |
- Returns:
- a BDD of the configuration; a true BDD if configuration is empty
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration.translateModel |
( |
IAXLangElement |
model |
) |
throws SolverException [protected, virtual] |
Member Data Documentation