Package org.jacop.fz
Class OutputArrayAnnotation
- java.lang.Object
-
- org.jacop.fz.OutputArrayAnnotation
-
public class OutputArrayAnnotation extends java.lang.Object
It stores information about the annotation for an output array.- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description OutputArrayAnnotation(java.lang.String name, java.util.ArrayList<IntDomain> indexBounds)
It constructs and output array annotation.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
contains(Var x)
(package private) Var[]
getArray()
(package private) IntDomain
getIndexes(int i)
(package private) java.lang.String
getName()
(package private) int
getNumberIndexes()
(package private) void
setArray(Var[] a)
java.lang.String
toString()
-
-
-
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 classjava.lang.Object
-
-