has_assignment
Purpose
In the following example, either task A requires resource R1 with resource profile [1,2,1,1,2,1,1,2], or task A requires resource R2 with resource profile [2,2,1,1,1,1,1,2]. The choice depends on the value of the decision variables A.assignment(R1) and A.assignment(R2) that can both take a value of 0 (the task is not assigned to this resource) or a value of 1 (the task is assigned to this resource).
Synopsis
function has_assignment(task:cptask, resource:cpresource) : boolean
Arguments
|
task
|
the task
|
|
resource
|
the resource
|
Return value
true IFF a cpvar representing the assignment of 'task' to 'resource' exists
Example
The following example illustrates this:
model "Alternative resources and non constant resource usage"
uses "kalis"
declarations
res1,res2 : cpresource
taska,taskb : cptask
arr1,arr2 : list of integer
end-declarations
! Fix start times and durations
taska.start = 3
taska.duration = 4
taskb.start = 3
taskb.duration = 4
! Define 2 cumulative resources
set_resource_attributes(res1, KALIS_DISCRETE_RESOURCE, 4)
set_resource_attributes(res2, KALIS_DISCRETE_RESOURCE, 4)
setname(taska,"taska"); setname(taskb,"taskb")
setname(res1,"R1"); setname(res2,"R2")
! Define alternative resources for both tasks
arr1 := [1,3,2,3]
arr2 := [2,4,1,3]
requires(taska, {resusage(res1,arr1),resusage(res2,arr2)}, 1, 1)
requires(taskb, {resusage(res1,1,1),resusage(res2,1,1)}, 1, 1)
! Find all solutions
while (cp_find_next_sol) do
cp_show_sol
end-do
end-model
Related topics
© 2001-2021 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation ("FICO"). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.