org.jacop.fz

Class ArrayAccess

java.lang.Object

org.jacop.fz.ArrayAccess

public class ArrayAccess
extends Object

It stores information about a single array access encountered during parsing flatzinc file.

Author:

Krzysztof Kuchcinski

Constructor Summary

Constructors

Constructor and Description
ArrayAccess(String id, int index) It creates an array access storage object.

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayAccess

public ArrayAccess(String id,
                   int index)

It creates an array access storage object.

Parameters:

id - the string describing identity of the array being accessed.

index - the index of the element being accessed.

Method Detail

toString

public String toString()

Overrides:

toString in class Object