uk.ac.man.cs.rainbow.rapa.data
Class Binary.Div
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.Div
- All Implemented Interfaces:
- Argument, Cloneable, Serializable, Value, VariableContainer
- Enclosing class:
- Binary
- public static class Binary.Div
- extends Binary
Division operator.
- See Also:
- Serialized Form
Fields inherited from class uk.ac.man.cs.rainbow.rapa.data.Binary |
e1, e2 |
Methods inherited from class uk.ac.man.cs.rainbow.rapa.data.Binary |
apply, apply, equals, hashCode, hasVariable, inputSize, occurs, subst, subst, toString, unify |
OP
public static final Application OP
Binary.Div
public Binary.Div(Value e1,
Value e2)
getName
public String getName()
- Overrides:
getName
in class Binary
apply
public Value apply(Value x,
Value y)
- Overrides:
apply
in class Binary