Public Member Functions | |
IAXLangElement | axlModel () |
boolean | checkConsistency () throws SolverException |
void | interpret () throws SolverException |
void | setAxlModel (IAXLangElement model) throws SolverException |
IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.axlModel | ( | ) |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor, 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, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorApplicationModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.
boolean de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.checkConsistency | ( | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor, 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, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorApplicationModel, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorF2AMapping, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureConfiguration, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitorFeatureModel.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.interpret | ( | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor, 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, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitorFeatureModel, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.
void de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVisitor.setAxlModel | ( | IAXLangElement | model | ) | throws SolverException |
Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.IAxlVariabilityVisitor, de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.imp.AxlVariabilityVisitor, and de.fraunhofer.isst.axbench.operations.checker.solver.variabilityvisitor.impold.AxlBddVisitor.