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