Package 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.
Version:
4.10
  • Field Details

    • id

      String id
    • index

      int index
  • Constructor Details

    • 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 Details