Constant Field Values

Contents

• de.rwth.*

de.rwth.*

de.rwth.i2.attestor.graph.digraph.LabeledDigraph

Modifier and Type	Constant Field	Value
public static final int	INVALID	-1

de.rwth.i2.attestor.graph.heap.HeapConfiguration

Modifier and Type	Constant Field	Value
public static final int	INVALID_ELEMENT	-1

de.rwth.i2.attestor.graph.morphism.AbstractVF2GraphData

Modifier and Type	Constant Field	Value
protected static final int	NULL_NODE	-1

de.rwth.i2.attestor.graph.morphism.VF2Algorithm

Modifier and Type	Constant Field	Value
public static final boolean	DEBUG	false

de.rwth.i2.attestor.markingGeneration.Markings

Modifier and Type	Constant Field	Value
public static final String	MARKING_PREFIX	"%"
public static final String	MARKING_SEPARATOR	"-"

de.rwth.i2.attestor.markingGeneration.neighbourhood.NeighbourhoodMarkingCommand

Modifier and Type	Constant Field	Value
protected static final String	INITIAL_MARKING_NAME	"%initialNeighbourhood"
public static final String	MARKING_NAME	"%neighbourhood"

de.rwth.i2.attestor.markingGeneration.visited.VisitedMarkingCommand

Modifier and Type	Constant Field	Value
public static final String	MARKING_NAME	"%visited"

de.rwth.i2.attestor.programState.AtomicPropositions

Modifier and Type	Constant Field	Value
public static final String	ABORTED	"{ aborted }"

de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.GeneralConcreteValue

Modifier and Type	Constant Field	Value
public static final int	UNDEFINED	-1

de.rwth.i2.attestor.semantics.util.Constants

Modifier and Type	Constant Field	Value
public static final String	FALSE	"false"
public static final String	MINUS_ONE	"-1"
public static final String	NULL	"null"
public static final String	ONE	"1"
public static final String	TRUE	"true"
public static final String	ZERO	"0"

de.rwth.i2.attestor.seplog.SeparationLogicLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u0017i\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0006\u0014Z\n\u0014\r\u0014\u000e\u0014[\u0003\u0015\u0006\u0015_\n\u0015\r\u0015\u000e\u0015`\u0003\u0016\u0006\u0016d\n\u0016\r\u0016\u000e\u0016e\u0003\u0016\u0003\u0016\u0002\u0002\u0017\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017\u0003\u0002\u0006\u0004\u0002&\'BB\u0004\u0002C\\c|\u0003\u00022;\u0005\u0002\u000b\f\u000f\u000f\"\"\u0002k\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0003-\u0003\u0002\u0002\u0002\u0005/\u0003\u0002\u0002\u0002\u00071\u0003\u0002\u0002\u0002\t3\u0003\u0002\u0002\u0002\u000b5\u0003\u0002\u0002\u0002\r7\u0003\u0002\u0002\u0002\u000f9\u0003\u0002\u0002\u0002\u0011;\u0003\u0002\u0002\u0002\u0013@\u0003\u0002\u0002\u0002\u0015D\u0003\u0002\u0002\u0002\u0017G\u0003\u0002\u0002\u0002\u0019I\u0003\u0002\u0002\u0002\u001bK\u0003\u0002\u0002\u0002\u001dM\u0003\u0002\u0002\u0002\u001fP\u0003\u0002\u0002\u0002!R\u0003\u0002\u0002\u0002#T\u0003\u0002\u0002\u0002%V\u0003\u0002\u0002\u0002\'Y\u0003\u0002\u0002\u0002)^\u0003\u0002\u0002\u0002+c\u0003\u0002\u0002\u0002-.\u0007*\u0002\u0002.\u0004\u0003\u0002\u0002\u0002/0\u0007.\u0002\u00020\u0006\u0003\u0002\u0002\u000212\u0007+\u0002\u00022\b\u0003\u0002\u0002\u000234\u0007~\u0002\u00024\n\u0003\u0002\u0002\u000256\u0007=\u0002\u00026\f\u0003\u0002\u0002\u000278\u0007}\u0002\u00028\u000e\u0003\u0002\u0002\u00029:\u0007\u007f\u0002\u0002:\u0010\u0003\u0002\u0002\u0002;<\u0007p\u0002\u0002<=\u0007w\u0002\u0002=>\u0007n\u0002\u0002>?\u0007n\u0002\u0002?\u0012\u0003\u0002\u0002\u0002@A\u0007g\u0002\u0002AB\u0007o\u0002\u0002BC\u0007r\u0002\u0002C\u0014\u0003\u0002\u0002\u0002DE\u0007/\u0002\u0002EF\u0007@\u0002\u0002F\u0016\u0003\u0002\u0002\u0002GH\u0007,\u0002\u0002H\u0018\u0003\u0002\u0002\u0002IJ\u0007?\u0002\u0002J\u001a\u0003\u0002\u0002\u0002KL\u00070\u0002\u0002L\u001c\u0003\u0002\u0002\u0002MN\u0007>\u0002\u0002NO\u0007?\u0002\u0002O\u001e\u0003\u0002\u0002\u0002PQ\u0007a\u0002\u0002Q \u0003\u0002\u0002\u0002RS\u0007#\u0002\u0002S\"\u0003\u0002\u0002\u0002TU\t\u0002\u0002\u0002U$\u0003\u0002\u0002\u0002VW\u0007<\u0002\u0002W&\u0003\u0002\u0002\u0002XZ\t\u0003\u0002\u0002YX\u0003\u0002\u0002\u0002Z[\u0003\u0002\u0002\u0002[Y\u0003\u0002\u0002\u0002[\\\u0003\u0002\u0002\u0002\\(\u0003\u0002\u0002\u0002]_\t\u0004\u0002\u0002^]\u0003\u0002\u0002\u0002_`\u0003\u0002\u0002\u0002`^\u0003\u0002\u0002\u0002`a\u0003\u0002\u0002\u0002a*\u0003\u0002\u0002\u0002bd\t\u0005\u0002\u0002cb\u0003\u0002\u0002\u0002de\u0003\u0002\u0002\u0002ec\u0003\u0002\u0002\u0002ef\u0003\u0002\u0002\u0002fg\u0003\u0002\u0002\u0002gh\b\u0016\u0002\u0002h,\u0003\u0002\u0002\u0002\u0006\u0002[`e\u0003\b\u0002\u0002"
public static final int	EMP	9
public static final int	EQ	12
public static final int	FIELDACCESS	13
public static final int	ID	19
public static final int	NULL	8
public static final int	NUM	20
public static final int	PTO	10
public static final int	REDUCTION	16
public static final int	RULEDELIM	14
public static final int	SEP	11
public static final int	T__0	1
public static final int	T__1	2
public static final int	T__2	3
public static final int	T__3	4
public static final int	T__4	5
public static final int	T__5	6
public static final int	T__6	7
public static final int	US	15
public static final int	VARPREFIX	17
public static final int	VARSUFFIX	18
public static final int	WS	21

de.rwth.i2.attestor.seplog.SeparationLogicParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u0017\u00c7\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u00034\n\u0003\f\u0003\u000e\u00037\u000b\u0003\u0005\u00039\n\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0006\u0004>\n\u0004\r\u0004\u000e\u0004?\u0003\u0004\u0003\u0004\u0005\u0004D\n\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0007\u0004I\n\u0004\f\u0004\u000e\u0004L\u000b\u0004\u0003\u0005\u0006\u0005O\n\u0005\r\u0005\u000e\u0005P\u0003\u0006\u0003\u0006\u0003\u0006\u0006\u0006V\n\u0006\r\u0006\u000e\u0006W\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0007\u0007a\n\u0007\f\u0007\u000e\u0007d\u000b\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0005\bk\n\b\u0003\b\u0003\b\u0003\b\u0007\bp\n\b\f\b\u000e\bs\u000b\b\u0003\t\u0005\tv\n\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0005\u000b\u0080\n\u000b\u0003\u000b\u0003\u000b\u0007\u000b\u0084\n\u000b\f\u000b\u000e\u000b\u0087\u000b\u000b\u0003\u000b\u0005\u000b\u008a\n\u000b\u0003\f\u0006\f\u008d\n\f\r\f\u000e\f\u008e\u0003\r\u0003\r\u0005\r\u0093\n\r\u0003\u000e\u0003\u000e\u0003\u000e\u0005\u000e\u0098\n\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0005\u000f\u00a0\n\u000f\u0003\u0010\u0006\u0010\u00a3\n\u0010\r\u0010\u000e\u0010\u00a4\u0003\u0011\u0003\u0011\u0005\u0011\u00a9\n\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0005\u0011\u00ae\n\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0007\u0013\u00b7\n\u0013\f\u0013\u000e\u0013\u00ba\u000b\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0005\u0014\u00c0\n\u0014\u0003\u0015\u0006\u0015\u00c3\n\u0015\r\u0015\u000e\u0015\u00c4\u0003\u0015\u0002\u0002\u0016\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(\u0002\u0005\u0004\u0002\u0011\u0011\u0015\u0016\u0003\u0002\u0015\u0016\u0004\u0002\n\n\u0016\u0016\u0002\u00cb\u0002*\u0003\u0002\u0002\u0002\u0004.\u0003\u0002\u0002\u0002\u0006C\u0003\u0002\u0002\u0002\bN\u0003\u0002\u0002\u0002\nR\u0003\u0002\u0002\u0002\f[\u0003\u0002\u0002\u0002\u000ej\u0003\u0002\u0002\u0002\u0010u\u0003\u0002\u0002\u0002\u0012y\u0003\u0002\u0002\u0002\u0014\u007f\u0003\u0002\u0002\u0002\u0016\u008c\u0003\u0002\u0002\u0002\u0018\u0092\u0003\u0002\u0002\u0002\u001a\u0097\u0003\u0002\u0002\u0002\u001c\u0099\u0003\u0002\u0002\u0002\u001e\u00a2\u0003\u0002\u0002\u0002 \u00a8\u0003\u0002\u0002\u0002\"\u00af\u0003\u0002\u0002\u0002$\u00b1\u0003\u0002\u0002\u0002&\u00bf\u0003\u0002\u0002\u0002(\u00c2\u0003\u0002\u0002\u0002*+\u0005\u0004\u0003\u0002+,\u0007\u0010\u0002\u0002,-\u0005\u0006\u0004\u0002-\u0003\u0003\u0002\u0002\u0002./\u0005(\u0015\u0002/8\u0007\u0003\u0002\u000205\u0005\u0012\n\u000212\u0007\u0004\u0002\u000224\u0005\u0012\n\u000231\u0003\u0002\u0002\u000247\u0003\u0002\u0002\u000253\u0003\u0002\u0002\u000256\u0003\u0002\u0002\u000269\u0003\u0002\u0002\u000275\u0003\u0002\u0002\u000280\u0003\u0002\u0002\u000289\u0003\u0002\u0002\u00029:\u0003\u0002\u0002\u0002:;\u0007\u0005\u0002\u0002;\u0005\u0003\u0002\u0002\u0002<>\u0005\u0012\n\u0002=<\u0003\u0002\u0002\u0002>?\u0003\u0002\u0002\u0002?=\u0003\u0002\u0002\u0002?@\u0003\u0002\u0002\u0002@A\u0003\u0002\u0002\u0002AB\u0007\u0006\u0002\u0002BD\u0003\u0002\u0002\u0002C=\u0003\u0002\u0002\u0002CD\u0003\u0002\u0002\u0002DE\u0003\u0002\u0002\u0002EJ\u0005\u001a\u000e\u0002FG\u0007\r\u0002\u0002GI\u0005\u001a\u000e\u0002HF\u0003\u0002\u0002\u0002IL\u0003\u0002\u0002\u0002JH\u0003\u0002\u0002\u0002JK\u0003\u0002\u0002\u0002K\u0007\u0003\u0002\u0002\u0002LJ\u0003\u0002\u0002\u0002MO\u0005\n\u0006\u0002NM\u0003\u0002\u0002\u0002OP\u0003\u0002\u0002\u0002PN\u0003\u0002\u0002\u0002PQ\u0003\u0002\u0002\u0002Q\t\u0003\u0002\u0002\u0002RU\u0005\f\u0007\u0002ST\u0007\u0010\u0002\u0002TV\u0005\u000e\b\u0002US\u0003\u0002\u0002\u0002VW\u0003\u0002\u0002\u0002WU\u0003\u0002\u0002\u0002WX\u0003\u0002\u0002\u0002XY\u0003\u0002\u0002\u0002YZ\u0007\u0007\u0002\u0002Z\u000b\u0003\u0002\u0002\u0002[\\\u0005(\u0015\u0002\\]\u0007\u0003\u0002\u0002]b\u0005\u0010\t\u0002^_\u0007\u0004\u0002\u0002_a\u0005\u0010\t\u0002`^\u0003\u0002\u0002\u0002ad\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002ce\u0003\u0002\u0002\u0002db\u0003\u0002\u0002\u0002ef\u0007\u0005\u0002\u0002f\r\u0003\u0002\u0002\u0002gh\u0005\u0012\n\u0002hi\u0007\u0006\u0002\u0002ik\u0003\u0002\u0002\u0002jg\u0003\u0002\u0002\u0002jk\u0003\u0002\u0002\u0002kl\u0003\u0002\u0002\u0002lq\u0005\u0018\r\u0002mn\u0007\r\u0002\u0002np\u0005\u0018\r\u0002om\u0003\u0002\u0002\u0002ps\u0003\u0002\u0002\u0002qo\u0003\u0002\u0002\u0002qr\u0003\u0002\u0002\u0002r\u000f\u0003\u0002\u0002\u0002sq\u0003\u0002\u0002\u0002tv\u0007\u0012\u0002\u0002ut\u0003\u0002\u0002\u0002uv\u0003\u0002\u0002\u0002vw\u0003\u0002\u0002\u0002wx\u0005\u0012\n\u0002x\u0011\u0003\u0002\u0002\u0002yz\u0005\u0014\u000b\u0002z{\u0007\b\u0002\u0002{|\u0005\u0016\f\u0002|}\u0007\t\u0002\u0002}\u0013\u0003\u0002\u0002\u0002~\u0080\u0007\u0013\u0002\u0002\u007f~\u0003\u0002\u0002\u0002\u007f\u0080\u0003\u0002\u0002\u0002\u0080\u0081\u0003\u0002\u0002\u0002\u0081\u0085\u0007\u0015\u0002\u0002\u0082\u0084\t\u0002\u0002\u0002\u0083\u0082\u0003\u0002\u0002\u0002\u0084\u0087\u0003\u0002\u0002\u0002\u0085\u0083\u0003\u0002\u0002\u0002\u0085\u0086\u0003\u0002\u0002\u0002\u0086\u0089\u0003\u0002\u0002\u0002\u0087\u0085\u0003\u0002\u0002\u0002\u0088\u008a\u0007\u0014\u0002\u0002\u0089\u0088\u0003\u0002\u0002\u0002\u0089\u008a\u0003\u0002\u0002\u0002\u008a\u0015\u0003\u0002\u0002\u0002\u008b\u008d\t\u0003\u0002\u0002\u008c\u008b\u0003\u0002\u0002\u0002\u008d\u008e\u0003\u0002\u0002\u0002\u008e\u008c\u0003\u0002\u0002\u0002\u008e\u008f\u0003\u0002\u0002\u0002\u008f\u0017\u0003\u0002\u0002\u0002\u0090\u0093\u0005\u001c\u000f\u0002\u0091\u0093\u0005$\u0013\u0002\u0092\u0090\u0003\u0002\u0002\u0002\u0092\u0091\u0003\u0002\u0002\u0002\u0093\u0019\u0003\u0002\u0002\u0002\u0094\u0098\u0005\u0018\r\u0002\u0095\u0098\u0007\u000b\u0002\u0002\u0096\u0098\u0005 \u0011\u0002\u0097\u0094\u0003\u0002\u0002\u0002\u0097\u0095\u0003\u0002\u0002\u0002\u0097\u0096\u0003\u0002\u0002\u0002\u0098\u001b\u0003\u0002\u0002\u0002\u0099\u009a\u0005\u0014\u000b\u0002\u009a\u009b\u0007\u000f\u0002\u0002\u009b\u009c\u0005\u001e\u0010\u0002\u009c\u009f\u0007\f\u0002\u0002\u009d\u00a0\u0005\u0014\u000b\u0002\u009e\u00a0\u0007\n\u0002\u0002\u009f\u009d\u0003\u0002\u0002\u0002\u009f\u009e\u0003\u0002\u0002\u0002\u00a0\u001d\u0003\u0002\u0002\u0002\u00a1\u00a3\t\u0002\u0002\u0002\u00a2\u00a1\u0003\u0002\u0002\u0002\u00a3\u00a4\u0003\u0002\u0002\u0002\u00a4\u00a2\u0003\u0002\u0002\u0002\u00a4\u00a5\u0003\u0002\u0002\u0002\u00a5\u001f\u0003\u0002\u0002\u0002\u00a6\u00a9\u0005\u0014\u000b\u0002\u00a7\u00a9\u0005\"\u0012\u0002\u00a8\u00a6\u0003\u0002\u0002\u0002\u00a8\u00a7\u0003\u0002\u0002\u0002\u00a9\u00aa\u0003\u0002\u0002\u0002\u00aa\u00ad\u0007\u000e\u0002\u0002\u00ab\u00ae\u0005\u0014\u000b\u0002\u00ac\u00ae\u0005\"\u0012\u0002\u00ad\u00ab\u0003\u0002\u0002\u0002\u00ad\u00ac\u0003\u0002\u0002\u0002\u00ae!\u0003\u0002\u0002\u0002\u00af\u00b0\t\u0004\u0002\u0002\u00b0#\u0003\u0002\u0002\u0002\u00b1\u00b2\u0005(\u0015\u0002\u00b2\u00b3\u0007\u0003\u0002\u0002\u00b3\u00b8\u0005&\u0014\u0002\u00b4\u00b5\u0007\u0004\u0002\u0002\u00b5\u00b7\u0005&\u0014\u0002\u00b6\u00b4\u0003\u0002\u0002\u0002\u00b7\u00ba\u0003\u0002\u0002\u0002\u00b8\u00b6\u0003\u0002\u0002\u0002\u00b8\u00b9\u0003\u0002\u0002\u0002\u00b9\u00bb\u0003\u0002\u0002\u0002\u00ba\u00b8\u0003\u0002\u0002\u0002\u00bb\u00bc\u0007\u0005\u0002\u0002\u00bc%\u0003\u0002\u0002\u0002\u00bd\u00c0\u0005\u0014\u000b\u0002\u00be\u00c0\u0007\n\u0002\u0002\u00bf\u00bd\u0003\u0002\u0002\u0002\u00bf\u00be\u0003\u0002\u0002\u0002\u00c0\'\u0003\u0002\u0002\u0002\u00c1\u00c3\t\u0003\u0002\u0002\u00c2\u00c1\u0003\u0002\u0002\u0002\u00c3\u00c4\u0003\u0002\u0002\u0002\u00c4\u00c2\u0003\u0002\u0002\u0002\u00c4\u00c5\u0003\u0002\u0002\u0002\u00c5)\u0003\u0002\u0002\u0002\u001a58?CJPWbjqu\u007f\u0085\u0089\u008e\u0092\u0097\u009f\u00a4\u00a8\u00ad\u00b8\u00bf\u00c4"
public static final int	EMP	9
public static final int	EQ	12
public static final int	FIELDACCESS	13
public static final int	ID	19
public static final int	NULL	8
public static final int	NUM	20
public static final int	PTO	10
public static final int	REDUCTION	16
public static final int	RULE_atom	12
public static final int	RULE_constant	16
public static final int	RULE_freeVariableDeclaration	7
public static final int	RULE_heap	0
public static final int	RULE_heapBody	2
public static final int	RULE_heapHead	1
public static final int	RULE_parameter	18
public static final int	RULE_pointer	13
public static final int	RULE_predicateCall	17
public static final int	RULE_predicateSymbol	19
public static final int	RULE_pure	15
public static final int	RULE_selector	14
public static final int	RULE_sid	3
public static final int	RULE_sidRule	4
public static final int	RULE_sidRuleBody	6
public static final int	RULE_sidRuleHead	5
public static final int	RULE_spatial	11
public static final int	RULE_type	10
public static final int	RULE_variable	9
public static final int	RULE_variableDeclaration	8
public static final int	RULEDELIM	14
public static final int	SEP	11
public static final int	T__0	1
public static final int	T__1	2
public static final int	T__2	3
public static final int	T__3	4
public static final int	T__4	5
public static final int	T__5	6
public static final int	T__6	7
public static final int	US	15
public static final int	VARPREFIX	17
public static final int	VARSUFFIX	18
public static final int	WS	21

de.rwth.i2.attestor.stateSpaceGeneration.State

Modifier and Type	Constant Field	Value
public static final int	INVALID_STATE_SPACE_ID	-1

de.rwth.i2.attestor.types.TypeNames

Modifier and Type	Constant Field	Value
public static final String	BOOL	"bool"
public static final String	BYTE	"byte"
public static final String	CHAR	"char"
public static final String	DOUBLE	"double"
public static final String	INT	"int"
public static final String	INT_0	"int_0"
public static final String	INT_MINUS_1	"int_-1"
public static final String	INT_PLUS_1	"int_1"
public static final String	LONG	"long"
public static final String	NULL	"NULL"
public static final String	SHORT	"short"
public static final String	STRING	"String"
public static final String	UNDEFINED	"undefined"