Package de.rwth.swc.coffee4j.algorithmic.constraint

Class ExistentialMinimalForbiddenTuplesCheckerFactory

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.constraint.ExistentialMinimalForbiddenTuplesCheckerFactory

All Implemented Interfaces:

ConstraintCheckerFactory

public class ExistentialMinimalForbiddenTuplesCheckerFactory
extends Object
implements ConstraintCheckerFactory

Factory for creating an Existential MinimalForbiddenTuplesChecker.

Constructor Summary

Constructors

Constructor	Description
ExistentialMinimalForbiddenTuplesCheckerFactory()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExistentialMinimalForbiddenTuplesCheckerFactory

public ExistentialMinimalForbiddenTuplesCheckerFactory()

Method Detail

createConstraintChecker

public ConstraintChecker createConstraintChecker(CompleteTestModel testModel)

Specified by:

createConstraintChecker in interface ConstraintCheckerFactory

createConstraintCheckerWithNegation

public ConstraintChecker createConstraintCheckerWithNegation(CompleteTestModel testModel,
                                                             TupleList toBeNegated)

Specified by:

createConstraintCheckerWithNegation in interface ConstraintCheckerFactory