uk.ac.man.cs.rainbow.rapa.gcl
Class CompareStateVar

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.Binary
                    |
                    +--uk.ac.man.cs.rainbow.rapa.data.Binary.Equal
                          |
                          +--uk.ac.man.cs.rainbow.rapa.gcl.CompareStateVar

All Implemented Interfaces:

Argument, Cloneable, LatexGenerator, Serializable, Value, VariableContainer

public class CompareStateVar

extends Binary.Equal

implements LatexGenerator

A comparison on a state variable (program counter).

See Also:

Serialized Form

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

Binary.Add, Binary.Conj, Binary.Disj, Binary.Div, Binary.Equal, Binary.GT, Binary.LT, Binary.Mul, Binary.Sub

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

OP

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

e1, e2

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

args, name, resultType

Constructor Summary

CompareStateVar(ProgramCounterFactory factory, int i, int n)

CompareStateVar(ProgramCounterFactory factory, int i, Number n)

Method Summary

void	appendLaTeX(StringBuffer sb) Append a LATEX representation of this object to the given buffer.
Value	apply(Value x, Value y)
boolean	equals(Object o)
boolean	equals(Value e)
int	getI()
int	getN()
int	hashCode()

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

getName

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CompareStateVar

public CompareStateVar(ProgramCounterFactory factory,
                       int i,
                       int n)

CompareStateVar

public CompareStateVar(ProgramCounterFactory factory,
                       int i,
                       Number n)

Method Detail

getI

public int getI()

getN

public int getN()

hashCode

public int hashCode()

Overrides:

hashCode in class Binary

equals

public boolean equals(Value e)

Overrides:

equals in class Binary

equals

public boolean equals(Object o)

Overrides:

equals in class Expression

apply

public Value apply(Value x,
                   Value y)

Overrides:

apply in class Binary.Equal

appendLaTeX

public void appendLaTeX(StringBuffer sb)

Description copied from interface: LatexGenerator

Append a L^AT_EX representation of this object to the given buffer.

Specified by:

appendLaTeX in interface LatexGenerator