uk.ac.man.cs.rainbow.rapa.data
Class Binary.Sub

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.Expression
        |
        +--uk.ac.man.cs.rainbow.rapa.data.Application
              |
              +--uk.ac.man.cs.rainbow.rapa.data.Binary
                    |
                    +--uk.ac.man.cs.rainbow.rapa.data.Binary.Sub

All Implemented Interfaces:

Argument, Cloneable, Serializable, Value, VariableContainer

Enclosing class:

Binary

public static class Binary.Sub

extends Binary

Subtraction operator.

See Also:

Serialized Form

Inner classes inherited from class uk.ac.man.cs.rainbow.rapa.data.Binary

Binary.Add, Binary.Conj, Binary.Disj, Binary.Div, Binary.Equal, Binary.GT, Binary.LT, Binary.Mul, Binary.Sub

Field Summary

static Application

OP

Fields inherited from class uk.ac.man.cs.rainbow.rapa.data.Binary

e1, e2

Fields inherited from class uk.ac.man.cs.rainbow.rapa.data.Application

args, name, resultType

Constructor Summary

Binary.Sub(Value e1, Value e2)

Method Summary

Value	apply(Value x, Value y)
String	getName()

Methods inherited from class uk.ac.man.cs.rainbow.rapa.data.Binary

apply, apply, equals, hashCode, hasVariable, inputSize, occurs, subst, subst, toString, unify

Methods inherited from class uk.ac.man.cs.rainbow.rapa.data.Application

evaluate, getArg, getNodeType, getResultType, numArguments

Methods inherited from class uk.ac.man.cs.rainbow.rapa.data.Expression

compatableWith, equals

Methods inherited from class java.lang.Object

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

Field Detail

OP

public static final Application OP

Constructor Detail

Binary.Sub

public Binary.Sub(Value e1,
                  Value e2)

Method Detail

getName

public String getName()

Overrides:

getName in class Binary

apply

public Value apply(Value x,
                   Value y)

Overrides:

apply in class Binary