HxCollection Class

class hexaly.optimizer.HxCollection

Value type for collection expressions (lists or sets). Such a value is obtained with HxExpression.value when the expression is a list. It represents a reference to the value of a variable and the value of this variable is modified when the HxCollection object if modified.

Summary

Methods
add Adds the given value to this collection.
add_all Adds the given values to this collection.
clear Removes all values of this collection.
count Returns the number of values in the collection.
contains Returns true if the collection contains the given value, false otherwise.
get Gets the value at the given position.
Special methods
__str__ Returns a string representation of the values in the collection in the format { val0, val1, ..., valN }ReturnsString representation of this collection.
__getitem__ Operator overloading for HxCollection.get().
__contains__ Operator overloading for HxCollection.contains().
__len__ Returns the length of the collection (same result as HxCollection.count()).
__iter__ Returns an iterator for the content of this collection.

Instance methods

HxCollection.add(val)

Adds the given value to this collection. Only allowed in state HxState.STOPPED. This function will fail if the given value is outside the domain of the list/set or if this value is already included in this list/set (keep in mind that a list or a set cannot contain twice the same value).

Parameters:val (int) – The value to be added.
HxCollection.add_all(values)

Adds the given values to this collection. Only allowed in state HxState.STOPPED. This function will fail if any given value is outside the range of the list/set or is already included in this list/set (keep in mind that a list or a set cannot contain twice the same value).

Parameters:values – An array of integer values to be added.
HxCollection.clear()

Removes all values of this collection. Only allowed in state HxState.STOPPED.

HxCollection.count()

Returns the number of values in the collection. Elements in collections are indexed from 0 to count()-1.

Returns:Number of values in this HxCollection
Return type:int
HxCollection.contains(value)

Returns true if the collection contains the given value, false otherwise.

Parameters:value – Element whose presence in this collection is to be tested.
Returns:True if the collection contains the value
Return type:bool
HxCollection.get(pos)

Gets the value at the given position.

Parameters:pos (int) – The considered position (must be non negative and strictly smaller than the number of values in the collection).
Returns:Value at the given position
Return type:int

Special operators and methods

HxCollection.__str__()

Returns a string representation of the values in the collection in the format { val0, val1, ..., valN }

Returns:String representation of this collection.
Return type:str
HxCollection.__getitem__(pos)

Operator overloading for HxCollection.get().

HxCollection.__contains__(value)

Operator overloading for HxCollection.contains().

HxCollection.__len__()

Returns the length of the collection (same result as HxCollection.count()).

HxCollection.__iter__()

Returns an iterator for the content of this collection.