Package org.jacop.fz

Class OutputArrayAnnotation


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

      Fields 
      Modifier and Type Field Description
      (package private) Var[] array  
      (package private) java.lang.String id  
      (package private) java.util.ArrayList<IntDomain> indexes  
    • Constructor Summary

      Constructors 
      Constructor Description
      OutputArrayAnnotation​(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)
      It constructs and output array annotation.
    • Field Detail

      • id

        java.lang.String id
      • indexes

        java.util.ArrayList<IntDomain> indexes
      • array

        Var[] array
    • Constructor Detail

      • OutputArrayAnnotation

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

      • getName

        java.lang.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 java.lang.String toString()
        Overrides:
        toString in class java.lang.Object