Public Member Functions | |
IAXLangElement | axlModel () |
boolean | checkConsistency () throws SolverException |
void | interpret () throws SolverException |
void | setAxlModel (IAXLangElement model) throws SolverException |
AxlFormula | variabilityFormula () |
AxlFormulaCollection | variabilityFormulaCollection () |
IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.axlModel | ( | ) |
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorApplicationModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureConfiguration, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.checkConsistency | ( | ) | throws SolverException |
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorApplicationModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureConfiguration, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor.interpret | ( | ) | throws SolverException |
Implements de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorApplicationModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorF2AMapping, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureConfiguration, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel.
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 | ( | ) |