basic class for the variability representation of the different aXLang models and its solving.
More...
List of all members.
Detailed Description
basic class for the variability representation of the different aXLang models and its solving.
- Author:
- smann
- Version:
- 0.9.0
- Since:
- 0.9.0
Constructor & Destructor Documentation
de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.VariabilitySolverImp |
( |
|
) |
|
Member Function Documentation
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.addToVariabilityFormula |
( |
Object |
formula |
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.addToVariabilityFormula |
( |
IFormulaCollection |
formulaCollection |
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.addToVariabilityFormula |
( |
AxlFormula |
formula |
) |
[virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.addToVariabilityFormula |
( |
AxlFormulaCollection |
formulaCollection |
) |
[virtual] |
AxlVarSetAxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.axlVarSet |
( |
|
) |
[virtual] |
SpassSolverImp de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.changeToSpassSolving |
( |
|
) |
throws SolverException |
SpassSolverImp de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.changeToSpassSolving |
( |
String |
path2Executable |
) |
throws SolverException |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkFormula |
( |
AxlFormula |
formula |
) |
throws SolverException [virtual] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkFormula |
( |
AxlFormulaCollection |
formula |
) |
throws SolverException [virtual] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkFormula |
( |
IFormulaCollection |
formula |
) |
throws SolverException [virtual] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkFormula |
( |
Object |
formula |
) |
throws SolverException [virtual] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkFormula_BDD |
( |
AxlFormula |
formula |
) |
throws SolverException [private] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkVariabilityModel |
( |
|
) |
throws SolverException |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkVariabilityModel_BDD |
( |
|
) |
throws SolverException [private] |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.checkVariabilityModel_SPASS |
( |
|
) |
throws SolverException [private] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setAxlVarSet |
( |
AxlVarSetAxlFormula |
avs |
) |
|
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setAxlVarSet |
( |
IAxlVarSet |
avs |
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setVariabilityFormula |
( |
AxlFormula |
formula |
) |
[virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setVariabilityFormula |
( |
Object |
formula |
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setVariabilityFormula |
( |
IFormulaCollection |
formulaCollection |
) |
throws SolverException [virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.setVariabilityFormula |
( |
AxlFormulaCollection |
formulaCollection |
) |
[virtual] |
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.variabilityFormula |
( |
|
) |
|
AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.variabilityFormulaCollection |
( |
|
) |
[virtual] |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.writeVariabilityModelToSPASS |
( |
|
) |
throws SolverException [private] |
Member Data Documentation