Class BooleanConstraintPredicate
- java.lang.Object
-
- org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate
-
- All Implemented Interfaces:
KnowledgeBaseConsumer,ConstraintFactory,PredicateFactory
public final class BooleanConstraintPredicate extends java.lang.Object implements PredicateFactory, ConstraintFactory, KnowledgeBaseConsumer
CLP predicates for comparing boolean values.Integer values are used to represent boolean values. 1 repesents true and 0 represents false.
#/\and#\/or#\exclusive or#<==>equivalent#==>implication
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.function.Function<org.projog.clp.Constraint[],org.projog.clp.Constraint>constraintGeneratorprivate Predicatespredicates
-
Constructor Summary
Constructors Modifier Constructor Description privateBooleanConstraintPredicate(java.util.function.Function<org.projog.clp.Constraint[],org.projog.clp.Constraint> constraintGenerator)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static BooleanConstraintPredicateand()org.projog.clp.ConstraintcreateConstraint(Term[] args, java.util.Set<ClpVariable> vars)static BooleanConstraintPredicateequivalent()PredicategetPredicate(Term[] args)Returns aPredicateto be used in the evaluation of a goal.booleanisRetryable()Should instances of this implementation be re-evaluated when backtracking?static BooleanConstraintPredicateleftImpliesRight()static BooleanConstraintPredicatenot()static BooleanConstraintPredicateor()private voidrestrictValues(ClpVariable c)static BooleanConstraintPredicaterightImpliesLeft()voidsetKnowledgeBase(KnowledgeBase knowledgeBase)Provides a reference to aKnowledgeBase.private org.projog.clp.ConstrainttoConstraint(Term t, java.util.Set<ClpVariable> vars)static BooleanConstraintPredicatexor()-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.projog.core.predicate.PredicateFactory
isAlwaysCutOnBacktrack
-
-
-
-
Field Detail
-
constraintGenerator
private final java.util.function.Function<org.projog.clp.Constraint[],org.projog.clp.Constraint> constraintGenerator
-
predicates
private Predicates predicates
-
-
Method Detail
-
equivalent
public static BooleanConstraintPredicate equivalent()
-
leftImpliesRight
public static BooleanConstraintPredicate leftImpliesRight()
-
rightImpliesLeft
public static BooleanConstraintPredicate rightImpliesLeft()
-
and
public static BooleanConstraintPredicate and()
-
or
public static BooleanConstraintPredicate or()
-
xor
public static BooleanConstraintPredicate xor()
-
not
public static BooleanConstraintPredicate not()
-
getPredicate
public Predicate getPredicate(Term[] args)
Description copied from interface:PredicateFactoryReturns aPredicateto be used in the evaluation of a goal.- Specified by:
getPredicatein interfacePredicateFactory- Parameters:
args- the arguments to use in the evaluation of the goal- Returns:
- Predicate to be used in the evaluation of the goal
- See Also:
Predicate.evaluate()
-
toConstraint
private org.projog.clp.Constraint toConstraint(Term t, java.util.Set<ClpVariable> vars)
-
restrictValues
private void restrictValues(ClpVariable c)
-
isRetryable
public boolean isRetryable()
Description copied from interface:PredicateFactoryShould instances of this implementation be re-evaluated when backtracking?Some goals (e.g.
X is 1) are only meant to be evaluated once (the statement is either true or false) while others (e.g.repeat(3)) are meant to be evaluated multiple times. For instances ofPredicatethat are designed to possibly havePredicate.evaluate()called on them multiple times for the same individual query this method should returntrue. For instances ofPredicatethat are designed to only be evaluated once per individual query this method should returnfalse.- Specified by:
isRetryablein interfacePredicateFactory- Returns:
trueif an attempt should be made to re-evaluate instances of implementing classes when backtracking,falseotherwise
-
createConstraint
public org.projog.clp.Constraint createConstraint(Term[] args, java.util.Set<ClpVariable> vars)
- Specified by:
createConstraintin interfaceConstraintFactory
-
setKnowledgeBase
public void setKnowledgeBase(KnowledgeBase knowledgeBase)
Description copied from interface:KnowledgeBaseConsumerProvides a reference to aKnowledgeBase.- Specified by:
setKnowledgeBasein interfaceKnowledgeBaseConsumer
-
-