org.aspic.inference
Class Subtraction

java.lang.Object
  org.aspic.inference.Element
      org.aspic.inference.Constant
          org.aspic.inference.Term
              org.aspic.inference.BuiltIn
                  org.aspic.inference.Binary
                      org.aspic.inference.Subtraction

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Subtraction
extends Binary

The "-" binary evaluator built-in predicate. A built in binary evaluator class for substraction with predicate "-".

Author:

mjs (matthew.south @ cancer.org.uk)

See Also:

Serialized Form

Constructor Summary

Subtraction()
Default constructor.

Subtraction(Element left, Element right)
Typical constructor.

Method Summary

Constant

apply(Substitution subs) Return copy of this Element with the substitution applied.

Methods inherited from class org.aspic.inference.Binary

getLeft, getRight, inspect, isInfix, setInfix, setLeft, setRight

Methods inherited from class org.aspic.inference.Term

addArg, clone, equals, getArg, hashCode, isEqualModuloVariables, isGrounded, isUnifiable, negation, numberOfArgs, ruleTag, setArg, setArgList, setKnowledgeBase, unify, write

Methods inherited from class org.aspic.inference.Constant

getFunctor, setFunctor

Methods inherited from class org.aspic.inference.Element

getId, getKnowledgeBase, setId, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Subtraction

public Subtraction(Element left,
                   Element right)

Typical constructor.

Parameters:

left - left operand.

right - right operand.

Subtraction

public Subtraction()

Default constructor.

Method Detail

apply

public Constant apply(Substitution subs)

Description copied from class: Element

Return copy of this Element with the substitution applied.

Overrides:

apply in class Term

Parameters:

subs - Substitution to apply

Returns:

Copy of this Element with substitution applied to it.