Gecode::Int::GCC::OccurArray< T > Class Template Reference
Inherits
Gecode::PrimArgArray< T >< T >.
List of all members.
Detailed Description
template<class T>
class Gecode::Int::GCC::OccurArray< T >
Array of OccurBnds mimicking cardinality variables.
Definition at line 199 of file occur.icc.
|
Public Member Functions |
| OccurArray (int n) |
| OccurArray (Space *home, int n) |
| OccurArray (const OccurArray< T > &o) |
| OccurArray (Space *home, const OccurArray< T > &o) |
template<class View> |
| OccurArray (const IntArgs &, const ViewArray< View > &, int, int, int, int, int, int, int) |
| Construct an array with fix cardinalities.
|
int | size (void) |
void | size (int n) |
void | update (Space *, bool, OccurArray< T > &) |
void | cancel (Propagator *, PropCond) |
void | subscribe (Space *, Propagator *, PropCond) |
int | lookup (int v) |
| Return the index of v in the array.
|
Constructor & Destructor Documentation
|
Construct an array with fix cardinalities.
- Parameters:
-
| ia | array of triples |
| iasize | provides the size of the given IntArgs |
| nov | is the number of all values in the domains of the views |
| min | is the minimum possible value |
| max | is the maximum possible value |
| unspec_low | lower bound for unspecified values |
| unspec_up | upper bound for unspecified values |
| all | checks whether all possible values are used or not |
Definition at line 238 of file occur.icc. |
Member Function Documentation
|
Return the index of v in the array.
Complexity is
Definition at line 412 of file occur.icc. |
The documentation for this class was generated from the following file: