org.aspic.inference
Class Multiplication

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.Multiplication

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Multiplication
extends Binary

The "*" binary built-in predicate.

Author:

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

See Also:

Serialized Form

Constructor Summary

Multiplication()
Default constructor.

Multiplication(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

Multiplication

public Multiplication(Element left,
                      Element right)

Typical constructor.

Parameters:

left - left operand.

right - right operand.

Multiplication

public Multiplication()

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.