- Function cp::Span(globalActivity, activityBinding, subActivity)
cp::Span
The function cp::Span(g,i,a_i)
returns 1 if activity \(g\) and
activities \(a_i\) are all not present, or if the begin of present
activity \(g\) is equal to the first present activity \(a_i\)
and the end of activity \(g\) is equal to the end of the last
present activity \(a_i\). The function cp::Span(g,i,a_i)
is
equivalent to
and
This function is typically used in scheduling problems to split an activity into sub activities.
cp::Span(
globalActivity, ! (input) an expression
activityBinding, ! (input) an index domain
subActivity ! (input) an expression
)
Arguments
- globalActivity
An expression resulting in an activity.
- activityBinding
An index domain that specifies and possibly limits the scope of indices. This argument follows the syntax of the index domain argument of iterative operators.
- subActivity
An expression resulting in an activity. The result is a vector with an element for each possible value of the indices in index domain
activityBinding
.
Return Value
This function returns 1 if the above condition is satisfied, 0 otherwise. When the index domain
i
is empty this function will return an error.
See also
The functions cp::Alternative
and cp::Synchronize
.