Implementation of abstract class BDDModel for AXLang feature models.
More...
List of all members.
Detailed Description
Implementation of abstract class BDDModel for AXLang feature models.
- Author:
- smann
- Version:
- 0.9.0
- Since:
- 0.9.0
//TODO: constraints checking
Constructor & Destructor Documentation
de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.AxlBddVisitorFeatureModel |
( |
BddSolverImp |
bddSolver |
) |
throws SolverException |
Constructor.
- Parameters:
-
- Exceptions:
-
Member Function Documentation
FeatureModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.axlModel |
( |
|
) |
|
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.checkConsistency |
( |
|
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.checkPreconditionOfSetAxlModel |
( |
IAXLangElement |
model |
) |
throws SolverException [protected, virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.getConstrainedBddModel |
( |
|
) |
|
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.hasNoChildren |
( |
IAXLangElement |
parent |
) |
throws SolverException [protected, virtual] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.iterateFeatureConstraints |
( |
Collection< AXLConstraint > |
featureConstraints |
) |
throws SolverException [protected] |
Translates the constraints of the feature model to a BDD structure.
- Parameters:
-
| featureConstraints,: | the constraints of an AXLang FeatureModel to be translated |
- Returns:
- BDD: the logical interpretation of the constraints in form of a BDD
- Return values:
-
| null,: | if there are no featureConstraints |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.iterateThroughHierarchy |
( |
Feature |
parent |
) |
throws SolverException [protected] |
Iterating through the children of a feature and building a corresponding BDD.
reads/uses attributes: modelBddVarSet, bddFactory
- Parameters:
-
- Returns:
- a BDD for the parent
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.startIterationThroughHierarchy |
( |
IAXLangElement |
parent |
) |
throws SolverException [protected] |
Iterating through a feature model and building a corresponding BDD: Start of recursion reads/uses attributes: modelBddVarSet, bddFactory.
- Parameters:
-
- Returns:
- a BDD for the parent
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.translateFeatureConstraint |
( |
AXLConstraint |
featureConstraint |
) |
throws SolverException [protected] |
Translates a constraint of the feature model to a BDD structure.
- Parameters:
-
| featureConstraint,: | a constraint |
- Returns:
- BDD: the logical interpretation of the constraint in form of a BDD
- Return values:
-
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.translateFeatureModel |
( |
FeatureModel |
featureModel |
) |
throws SolverException [protected] |
Translates an aXLang feature model to a BDD structure.
- Parameters:
-
| featureModel,: | an AXLang FeatureModel to be translated |
- Returns:
- BDD
- Exceptions:
-
| if | there is no feature model |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.translateFeatureOr |
( |
Feature |
parent, |
|
|
Collection<?extends IAXLangElement > |
childrenCollection | |
|
) |
| | throws SolverException [protected] |
interpretes OR features
- Parameters:
-
| parent | |
| childrenCollection | |
- Returns:
- BDD
- Exceptions:
-
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.translateIAXLangElementComposite |
( |
IAXLangElement |
parent, |
|
|
Collection<?extends IAXLangElement > |
childrenCollection | |
|
) |
| | throws SolverException [protected] |
BDD de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.translateModel |
( |
IAXLangElement |
model |
) |
throws SolverException [protected, virtual] |
Member Data Documentation