Public Member Functions

de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor 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

Detailed Description

Todo:
not stable
Author:
smann
Version:
0.9.0
Since:
0.9.0

Member Function Documentation

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.axlModel (  ) 
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.checkConsistency (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.interpret (  )  throws SolverException
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.setAxlModel ( IAXLangElement  model  )  throws SolverException