uk.ac.man.cs.rainbow.rapa.data
Class Unary.Neg

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

All Implemented Interfaces:

Argument, Cloneable, Serializable, Value, VariableContainer

Enclosing class:

Unary

public static class Unary.Neg

extends Unary

Numeric negation operator.

See Also:

Serialized Form

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

Unary.Abs, Unary.Neg, Unary.Not

Field Summary

static Application

OP

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

e

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

args, name, resultType

Constructor Summary

Unary.Neg(Value e)

Method Summary

Value	apply(Value x)
String	getName()
String	toString()

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

apply, apply, equals, getArgument, hashCode, hasVariable, inputSize, occurs, subst, subst, 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

Unary.Neg

public Unary.Neg(Value e)

Method Detail

getName

public String getName()

Overrides:

getName in class Unary

toString

public String toString()

Overrides:

toString in class Unary

apply

public Value apply(Value x)

Overrides:

apply in class Unary