Public Member Functions

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor Interface Reference

List of all members.

Public Member Functions

IAXLangElement axlModel ()
boolean checkConsistency () throws SolverException
void interpret () throws SolverException
void setAxlModel (IAXLangElement model) throws SolverException
AxlFormula variabilityFormula ()
AxlFormulaCollection variabilityFormulaCollection ()

Detailed Description

Todo:
Author:
smann
Version:
0.9.0
Since:
0.9.0

Member Function Documentation

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.axlModel (  ) 
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.checkConsistency (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.interpret (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.setAxlModel ( IAXLangElement  model  )  throws SolverException
AxlFormula de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.variabilityFormula (  ) 
AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.variabilityFormulaCollection (  )