or
or |
Purpose
This composite constraint states a disjunction between two constraints C1 and C2 (
C1 ∨ C2). The satisfaction of the resulting constraint is given by the following truth table:
C1 C2 C1 or C2 -------------------------- false false false false true true true false true true true true
Synopsis
C1 or C2
Arguments
|
C1
|
the left member constraint of the disjunction
|
|
C2
|
the right member constraint of the disjunction
|
Return value
A disjunction constraint over C1 and C2
Example
The following example shows how to use the disjunction constraint
model "Logical constraints"
uses "kalis"
! Default bounds for all variables
setparam("KALIS_DEFAULT_LB", 0); setparam("KALIS_DEFAULT_UB", 1)
declarations
a,b: cpvar
end-declarations
setname(a,"a")
setname(b,"b")
writeln(a,b)
(a >= 1) and (b >= 1) or (a <= 0) and (b >= 1)
while (cp_find_next_sol)
writeln("a:", getsol(a), " b:", getsol(b))
end-model
Related topics