Package org.jacop.fz

Class OutputArrayAnnotation

java.lang.Object
org.jacop.fz.OutputArrayAnnotation

public class OutputArrayAnnotation extends Object
It stores information about the annotation for an output array.
Version:
4.8
  • Field Details

  • Constructor Details

    • OutputArrayAnnotation

      public OutputArrayAnnotation(String name, ArrayList<IntDomain> indexBounds)
      It constructs and output array annotation.
      Parameters:
      name - the name of the output array annotation.
      indexBounds - the indexes bounds.
  • Method Details

    • getName

      String getName()
    • setArray

      void setArray(Var[] a)
    • getArray

      Var[] getArray()
    • getNumberIndexes

      int getNumberIndexes()
    • getIndexes

      IntDomain getIndexes(int i)
    • contains

      boolean contains(Var x)
    • toString

      public String toString()
      Overrides:
      toString in class Object