AxlSolver for aXLang models. in development. More...
Public Member Functions | |
AxlSolver () | |
Constructor. | |
void | changeSolverImpToBdd () throws SolverException |
void | changeSolverImpToDefault () throws SolverException |
void | changeSolverImpToSpass () throws SolverException |
boolean | checkConsistency () throws SolverException |
Fires the consistency checking of an AXLang project with respect to a consistent set of related, selected models. | |
AxlVariabilityVisitorApplicationModel | getVisitorApplicationModel () |
AxlVariabilityVisitorF2AMapping | getVisitorF2AMapping () |
AxlVariabilityVisitorFeatureConfiguration | getVisitorFeatureConfiguration () |
AxlVariabilityVisitorFeatureModel | getVisitorFeatureModel () |
void | interpret () throws SolverException |
Interprets the variability of an AXLang project with respect to the set of selected sub-models. | |
boolean | isSmDebugging () |
Switch for debug purposes. | |
boolean | isSmSystemOut () |
Switch for system outs of subresults. (until there is something more beautiful available). | |
void | setSelectedModels (Collection< IAXLangElement > models) throws SolverException |
Sets the selected models of an AXLang project for checking. | |
void | setSmDebugging (boolean value) |
Set the switch for debug purposes. | |
void | setSmSystemOut (boolean value) |
Set the switch for system outs of subresults. | |
Protected Attributes | |
AxlVariabilityVisitorApplicationModel | theVisitorApplicationModel |
AxlVariabilityVisitorF2AMapping | theVisitorF2AMapping |
AxlVariabilityVisitorFeatureConfiguration | theVisitorFeatureConfiguration |
AxlVariabilityVisitorFeatureModel | theVisitorFeatureModel |
Private Attributes | |
boolean | smDebugging = false |
switch for system outs for debugging | |
boolean | smSystemOut = true |
switch to display results as system outs |
AxlSolver for aXLang models. in development.
This class implements the Solver interface. It can be used for consistency checking of models.
de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.AxlSolver | ( | ) |
Constructor.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToBdd | ( | ) | throws SolverException |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToDefault | ( | ) | throws SolverException |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.changeSolverImpToSpass | ( | ) | throws SolverException |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.checkConsistency | ( | ) | throws SolverException |
Fires the consistency checking of an AXLang project with respect to a consistent set of related, selected models.
collection | of AXLang models. The set should include: a feature model, a feature model configuration, an application model as well as a f2a mapping. |
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
AxlVariabilityVisitorApplicationModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorApplicationModel | ( | ) |
AxlVariabilityVisitorF2AMapping de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorF2AMapping | ( | ) |
AxlVariabilityVisitorFeatureConfiguration de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorFeatureConfiguration | ( | ) |
AxlVariabilityVisitorFeatureModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.getVisitorFeatureModel | ( | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.interpret | ( | ) | throws SolverException |
Interprets the variability of an AXLang project with respect to the set of selected sub-models.
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.isSmDebugging | ( | ) |
Switch for debug purposes.
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.isSmSystemOut | ( | ) |
Switch for system outs of subresults. (until there is something more beautiful available).
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSelectedModels | ( | Collection< IAXLangElement > | models | ) | throws SolverException |
Sets the selected models of an AXLang project for checking.
collection | of AXLang models. The set should include: a feature model, a feature model configuration, an application model as well as a f2a mapping. |
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSmDebugging | ( | boolean | value | ) |
Set the switch for debug purposes.
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.setSmSystemOut | ( | boolean | value | ) |
Set the switch for system outs of subresults.
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.ISolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.smDebugging = false [private] |
switch for system outs for debugging
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.smSystemOut = true [private] |
switch to display results as system outs
AxlVariabilityVisitorApplicationModel de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.theVisitorApplicationModel [protected] |
AxlVariabilityVisitorF2AMapping de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.theVisitorF2AMapping [protected] |
AxlVariabilityVisitorFeatureConfiguration de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.AxlSolver.theVisitorFeatureConfiguration [protected] |