Public Member Functions

de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver Interface Reference

List of all members.

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 ()

Detailed Description

Author:
smann
Version:
0.9.0
Since:
0.9.0

Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula ( Object  formula  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula ( AxlFormula  formula  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula ( IFormulaCollection  formula  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.addToVariabilityFormula ( AxlFormulaCollection  formula  )  throws SolverException
IAxlVarSet de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.axlVarSet (  ) 
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula ( Object  formula  )  throws SolverException
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula ( IFormulaCollection  formula  )  throws SolverException
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula ( AxlFormulaCollection  formula  )  throws SolverException
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.checkFormula ( AxlFormula  formula  )  throws SolverException
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
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  ) 
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula ( Object  formula  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula ( AxlFormula  formula  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.setVariabilityFormula ( IFormulaCollection  formulaCollection  )  throws SolverException
Object de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.variabilityFormula (  ) 
IFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilitysolver.IVariabilitySolver.variabilityFormulaCollection (  )