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

Interface IndexSymbol

All Known Implementing Classes:

AbstractIndexSymbol, ConcreteIndexSymbol, IndexVariable

public interface IndexSymbol

Method Summary

Modifier and Type	Method and Description
boolean	isBottom()
String	toString()

Method Detail

toString

String toString()

Overrides:

toString in class Object

isBottom

boolean isBottom()