Public Member Functions | Private Member Functions | Private Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp Class Reference

basic class for the variability representation of the different aXLang models and its solving. More...

List of all members.

Public Member Functions

void addToVariabilityFormula (Object formula) throws SolverException
void addToVariabilityFormula (IFormulaCollection formulaCollection) throws SolverException
void addToVariabilityFormula (AxlFormula formula)
void addToVariabilityFormula (AxlFormulaCollection formulaCollection)
AxlVarSetAxlFormula axlVarSet ()
BddSolverImp changeToBddSolving (BddManager manager) throws SolverException
SpassSolverImp changeToSpassSolving () throws SolverException
SpassSolverImp changeToSpassSolving (String path2Executable) throws SolverException
boolean checkFormula (Object formula) throws SolverException
boolean checkFormula (IFormulaCollection formula) throws SolverException
boolean checkFormula (AxlFormulaCollection formula) throws SolverException
boolean checkFormula (AxlFormula formula) throws SolverException
boolean checkVariabilityModel () throws SolverException
void setAxlVarSet (AxlVarSetAxlFormula avs)
void setAxlVarSet (IAxlVarSet avs) throws SolverException
void setVariabilityFormula (IFormulaCollection formulaCollection) throws SolverException
void setVariabilityFormula (AxlFormulaCollection formulaCollection)
void setVariabilityFormula (Object formula) throws SolverException
void setVariabilityFormula (AxlFormula formula)
AxlFormula variabilityFormula ()
AxlFormulaCollection variabilityFormulaCollection ()
 VariabilitySolverImp ()

Private Member Functions

boolean checkFormula_BDD (AxlFormula formula) throws SolverException
boolean checkVariabilityModel_BDD () throws SolverException
boolean checkVariabilityModel_SPASS () throws SolverException
void writeVariabilityModelToSPASS () throws SolverException

Private Attributes

AxlVarSetAxlFormula theAxlVarSet
AxlFormula theVariabilityFormula
AxlFormulaCollection theVariabilityFormulaCollection

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]
BddSolverImp de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp.changeToBddSolving ( BddManager  manager  )  throws SolverException
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