Public Member Functions | |
void | addToVariabilityFormula (Object formula) throws SolverException |
void | addToVariabilityFormula (AxlFormula formula) throws SolverException |
void | addToVariabilityFormula (IFormulaCollection formula) throws SolverException |
void | addToVariabilityFormula (AxlFormulaCollection formula) throws SolverException |
IAxlVarSet | axlVarSet () |
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 | cleanUp () |
boolean | isSmDebugging () |
boolean | isSmSystemOut () |
void | setAxlModel (IAXLangElement axlModel) |
void | setAxlVarSet (IAxlVarSet avs) throws SolverException |
void | setFileName (String name) |
void | setSmDebugging (boolean value) |
void | setSmSystemOut (boolean value) |
void | setVariabilityFormula (AxlFormulaCollection formulaCollection) |
void | setVariabilityFormula (Object formula) throws SolverException |
void | setVariabilityFormula (AxlFormula formula) throws SolverException |
void | setVariabilityFormula (IFormulaCollection formulaCollection) throws SolverException |
Object | variabilityFormula () |
IFormulaCollection | variabilityFormulaCollection () |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula | ( | Object | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula | ( | AxlFormula | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula | ( | IFormulaCollection | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula | ( | AxlFormulaCollection | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
IAxlVarSet de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.axlVarSet | ( | ) |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula | ( | Object | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula | ( | IFormulaCollection | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula | ( | AxlFormulaCollection | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula | ( | AxlFormula | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkVariabilityModel | ( | ) | throws SolverException |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.cleanUp | ( | ) |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.isSmDebugging | ( | ) |
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.isSmSystemOut | ( | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setAxlModel | ( | IAXLangElement | axlModel | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setAxlVarSet | ( | IAxlVarSet | avs | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setFileName | ( | String | name | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setSmDebugging | ( | boolean | value | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setSmSystemOut | ( | boolean | value | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula | ( | AxlFormulaCollection | formulaCollection | ) |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula | ( | Object | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula | ( | AxlFormula | formula | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula | ( | IFormulaCollection | formulaCollection | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
Object de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.variabilityFormula | ( | ) |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.
IFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.variabilityFormulaCollection | ( | ) |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.BddSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.SpassSolverImp, de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.imp.VariabilitySolverImp, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.VariabilitySolver.