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) Numeric n
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Unify(Numeric n)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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 Detail
- n
```
final Numeric n
```

Constructor Detail
- Unify
```
Unify(Numeric n)
```

Method Detail

evaluate

public boolean evaluate(Term arg1,
                        Term arg2)

Overrides:: evaluate in class AbstractSingleResultPredicate