Class DiagnosticConstraintCheckerFactory
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.constraint.DiagnosticConstraintCheckerFactory
-
- All Implemented Interfaces:
ConstraintCheckerFactory
public class DiagnosticConstraintCheckerFactory extends Object implements ConstraintCheckerFactory
-
-
Constructor Summary
Constructors Constructor Description DiagnosticConstraintCheckerFactory()
DiagnosticConstraintCheckerFactory(de.rwth.swc.coffee4j.algorithmic.constraint.DiagnosticConstraintSplitter splitter, de.rwth.swc.coffee4j.algorithmic.constraint.DiagnosticConstraintThresholdComputer thresholdComputer)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ConstraintChecker
createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker
createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
-
-
-
Constructor Detail
-
DiagnosticConstraintCheckerFactory
public DiagnosticConstraintCheckerFactory()
-
DiagnosticConstraintCheckerFactory
public DiagnosticConstraintCheckerFactory(de.rwth.swc.coffee4j.algorithmic.constraint.DiagnosticConstraintSplitter splitter, de.rwth.swc.coffee4j.algorithmic.constraint.DiagnosticConstraintThresholdComputer thresholdComputer)
-
-
Method Detail
-
createConstraintChecker
public ConstraintChecker createConstraintChecker(CompleteTestModel testModel)
- Specified by:
createConstraintChecker
in interfaceConstraintCheckerFactory
-
createConstraintCheckerWithNegation
public ConstraintChecker createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
- Specified by:
createConstraintCheckerWithNegation
in interfaceConstraintCheckerFactory
-
-