Package de.rwth.swc.coffee4j.engine.constraint

Class ConstraintCheckerFactory

java.lang.Object

de.rwth.swc.coffee4j.engine.constraint.ConstraintCheckerFactory

public class ConstraintCheckerFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ConstraintCheckerFactory(TestModel testModel)

Method Summary

Modifier and Type	Method	Description
ConstraintChecker	createHardConstraintsChecker()
ConstraintChecker	createHardConstraintsCheckerWithNegation(TupleList toBeNegated)
ConstraintChecker	createNoConstraintsChecker()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintCheckerFactory

public ConstraintCheckerFactory(TestModel testModel)

Method Detail

createNoConstraintsChecker

public ConstraintChecker createNoConstraintsChecker()

createHardConstraintsChecker

public ConstraintChecker createHardConstraintsChecker()

createHardConstraintsCheckerWithNegation

public ConstraintChecker createHardConstraintsCheckerWithNegation(TupleList toBeNegated)