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

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

All Implemented Interfaces:

Argument, Cloneable, Serializable, Value, VariableContainer

Enclosing class:

Unary

public static class Unary.Abs

extends Unary

Sign-removal 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.Abs(Value e)

Method Summary

Value	apply(Value x)
String	getName()

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

apply, apply, equals, getArgument, 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

Unary.Abs

public Unary.Abs(Value e)

Method Detail

getName

public String getName()

Overrides:

getName in class Unary

apply

public Value apply(Value x)

Overrides:

apply in class Unary