Package org.jacop.fz
Class OutputArrayAnnotation
java.lang.Object
org.jacop.fz.OutputArrayAnnotation
It stores information about the annotation for an output array.
- Version:
- 4.8
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionOutputArrayAnnotation
(String name, ArrayList<IntDomain> indexBounds) It constructs and output array annotation. -
Method Summary
-
Field Details
-
Constructor Details
-
OutputArrayAnnotation
It constructs and output array annotation.- Parameters:
name
- the name of the output array annotation.indexBounds
- the indexes bounds.
-
-
Method Details