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

Class NoConstraintCheckerFactory

java.lang.Object

de.rwth.swc.coffee4j.engine.constraint.NoConstraintCheckerFactory

All Implemented Interfaces:

ConstraintCheckerFactory

public class NoConstraintCheckerFactory
extends java.lang.Object
implements ConstraintCheckerFactory

Constructor Summary

Constructors

Constructor	Description
NoConstraintCheckerFactory()

Method Summary

Modifier and Type	Method	Description
ConstraintChecker	createConstraintChecker(TestModel testModel)
ConstraintChecker	createConstraintCheckerWithNegation(TestModel testModel, TupleList toBeNegated)

Methods inherited from class java.lang.Object

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

Constructor Detail

NoConstraintCheckerFactory

public NoConstraintCheckerFactory()

Method Detail

createConstraintChecker

public ConstraintChecker createConstraintChecker(TestModel testModel)

Specified by:

createConstraintChecker in interface ConstraintCheckerFactory

createConstraintCheckerWithNegation

public ConstraintChecker createConstraintCheckerWithNegation(TestModel testModel,
                                                             TupleList toBeNegated)

Specified by:

createConstraintCheckerWithNegation in interface ConstraintCheckerFactory