Interface ConstraintCheckerFactory
-
- All Known Implementing Classes:
DiagnosticConstraintCheckerFactory
,ExistentialHardConstraintCheckerFactory
,ExistentialMinimalForbiddenTuplesCheckerFactory
,HardConstraintCheckerFactory
,MinimalForbiddenTuplesCheckerFactory
,NoConstraintCheckerFactory
,SoftConstraintCheckerFactory
public interface ConstraintCheckerFactory
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ConstraintChecker
createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker
createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
-
-
-
Method Detail
-
createConstraintChecker
ConstraintChecker createConstraintChecker(CompleteTestModel testModel)
-
createConstraintCheckerWithNegation
ConstraintChecker createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
-
-