de.rwth.i2.attestor.programState.indexedState.index

Class IndexVariable

java.lang.Object

de.rwth.i2.attestor.programState.indexedState.index.IndexVariable

All Implemented Interfaces:

IndexSymbol

public class IndexVariable
extends Object
implements IndexSymbol

Constructor Summary

Constructors

Constructor and Description
IndexVariable()

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other)
static IndexVariable	getIndexVariable()
int	hashCode()
boolean	isBottom()
void	resetInstantiation()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexVariable

public IndexVariable()

Method Detail

getIndexVariable

public static IndexVariable getIndexVariable()

isBottom

public boolean isBottom()

Specified by:

isBottom in interface IndexSymbol

resetInstantiation

public void resetInstantiation()

toString

public String toString()

Specified by:

toString in interface IndexSymbol

Overrides:

toString in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object