uk.ac.man.cs.rainbow.rapa.data
Class Register.Subscripted

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.Expression
        |
        +--uk.ac.man.cs.rainbow.rapa.data.Register
              |
              +--uk.ac.man.cs.rainbow.rapa.data.Register.Subscripted

All Implemented Interfaces:

Argument, Comparable, Serializable, Value, VariableContainer

Enclosing class:

Register

public static class Register.Subscripted

extends Register

See Also:

Serialized Form

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

Register.NotFoundException, Register.Subscripted

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

printType

Constructor Summary

Register.Subscripted(String name, int i, int n, Type type)

Method Summary

int	compareTo(Object o)
int	getI()
int	getN()
Value	subst(GeneralSubstitution s) Apply a substitution to this value to get a new value.
String	toString()

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

apply, compatableWith, equals, evaluate, getName, getResultType, hashCode, hasVariable, occurs, subst, unify

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

equals, getNodeType

Methods inherited from class java.lang.Object

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

Constructor Detail

Register.Subscripted

public Register.Subscripted(String name,
                            int i,
                            int n,
                            Type type)

Method Detail

toString

public String toString()

Overrides:

toString in class Register

getI

public int getI()

getN

public int getN()

subst

public Value subst(GeneralSubstitution s)

Description copied from interface: Value

Apply a substitution to this value to get a new value.

Overrides:

subst in class Expression

compareTo

public int compareTo(Object o)

Overrides:

compareTo in class Register