Package org.projog.core.predicate.builtin.compare

Class Is.Unify

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compare.Is.Unify

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

Enclosing class:

Is

private static final class Is.Unify
extends AbstractSingleResultPredicate

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Numeric	n

Constructor Summary

Constructors

Constructor	Description
Unify(Numeric n)

Method Summary

Modifier and Type	Method	Description
boolean	evaluate(Term arg1, Term arg2)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

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 Details

n

final Numeric n

Constructor Details

Unify

Unify(Numeric n)

Method Details

evaluate

public boolean evaluate(Term arg1,
 Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate