uk.ac.man.cs.rainbow.rapa.data
Class Variable.Named

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.Expression
        |
        +--uk.ac.man.cs.rainbow.rapa.data.Variable
              |
              +--uk.ac.man.cs.rainbow.rapa.data.Variable.Named

All Implemented Interfaces:

Argument, Serializable, Value, VariableContainer

Enclosing class:

Variable

public static class Variable.Named

extends Variable

See Also:

Serialized Form

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

Variable.Named

Constructor Summary

Variable.Named(String name)

Variable.Named(String name, Type type)

Method Summary

String

toString()

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

apply, compatableWith, equals, getResultType, hasVariable, occurs, subst, unify

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

equals, evaluate, getNodeType, subst

Methods inherited from class java.lang.Object

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

Constructor Detail

Variable.Named

public Variable.Named(String name)

Variable.Named

public Variable.Named(String name,
                      Type type)

Method Detail

toString

public String toString()

Overrides:

toString in class Variable