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.9

Author:

Krzysztof Kuchcinski

Constructor Summary

Constructors

Constructor and Description
OutputArrayAnnotation(String name, ArrayList<IntDomain> indexBounds) It constructs and output array annotation.

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

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 Detail

toString

public String toString()

Overrides:

toString in class Object