Modifier and Type | Method and Description |
---|---|
static boolean |
domsContain(solver.variables.IntVar[] union,
int value)
Checks if at least one of the integer's domain contains a value.
|
static boolean |
domSubsetDom(solver.variables.IntVar sub,
solver.variables.IntVar sup,
solver.ICause propagator)
Removes every element in an integer's domain that is not in the other
integer's domain.
|
static boolean |
domSubsetEnv(solver.variables.IntVar sub,
solver.variables.SetVar sup,
solver.ICause propagator)
Removes every element in an integer's domain that is not in the set's
envelope.
|
static boolean |
domSubsetKer(solver.variables.IntVar sub,
solver.variables.SetVar sup,
solver.ICause propagator)
Removes every element in an integer's domain that is not in the set's
kernel.
|
static boolean |
domSubsetSet(solver.variables.IntVar sub,
gnu.trove.set.TIntSet sup,
solver.ICause propagator)
Removes every element in an integer's domain that is not in the set.
|
static boolean |
envsContain(solver.variables.SetVar[] union,
int value)
Checks if at least one of the set's envelope contains a value.
|
static boolean |
envSubsetDom(solver.variables.SetVar sub,
solver.variables.IntVar sup,
solver.ICause propagator)
Removes every element in a set's envelope that is not in the integer's
domain.
|
static boolean |
envSubsetEnv(solver.variables.SetVar sub,
solver.variables.SetVar sup,
solver.ICause propagator)
Removes every element in a set's envelope that is not in the other set's
envelope.
|
static boolean |
envSubsetKer(solver.variables.SetVar sub,
solver.variables.SetVar sup,
solver.ICause propagator)
Removes every element in a set's envelope that is not in the set's
kernel.
|
static boolean |
envSubsetSet(solver.variables.SetVar sub,
gnu.trove.set.TIntSet sup,
solver.ICause propagator)
Removes every element in a set's envelope that is not in the set.
|
static boolean |
isDomIntersectDom(solver.variables.IntVar i1,
solver.variables.IntVar i2)
Checks if an integer's domain is contained entirely in the other
integer's domain.
|
static boolean |
isDomIntersectEnv(solver.variables.IntVar i1,
solver.variables.SetVar i2)
Checks if an integer's domain is contained entirely in the set's
envelope.
|
static boolean |
isDomIntersectKer(solver.variables.IntVar i1,
solver.variables.SetVar i2)
Checks if an integer's domain is contained entirely in the set's kernel.
|
static boolean |
isDomSubsetDom(solver.variables.IntVar sub,
solver.variables.IntVar sup)
Checks if an integer's domain is contained entirely in the other
integer's domain.
|
static boolean |
isDomSubsetEnv(solver.variables.IntVar sub,
solver.variables.SetVar sup)
Checks if an integer's domain is contained entirely in the set's
envelope.
|
static boolean |
isDomSubsetKer(solver.variables.IntVar sub,
solver.variables.SetVar sup)
Checks if an integer's domain is contained entirely in the set's kernel.
|
static boolean |
isEnvIntersectEnv(solver.variables.SetVar i1,
solver.variables.SetVar i2)
Checks if a set's envelope is contained entirely in the other set's
envelope.
|
static boolean |
isEnvIntersectKer(solver.variables.SetVar i1,
solver.variables.SetVar i2)
Checks if a set's envelope is contained entirely in the set's kernel.
|
static boolean |
isEnvSubsetDom(solver.variables.SetVar sub,
solver.variables.IntVar sup)
Checks if a set's envelope is contained entirely in the integer's domain.
|
static boolean |
isEnvSubsetEnv(solver.variables.SetVar sub,
solver.variables.SetVar sup)
Checks if a set's envelope is contained entirely in the other set's
envelope.
|
static boolean |
isEnvSubsetKer(solver.variables.SetVar sub,
solver.variables.SetVar sup)
Checks if a set's envelope is contained entirely in the set's kernel.
|
static boolean |
isKerIntersectKer(solver.variables.SetVar i1,
solver.variables.SetVar i2)
Checks if a set's kernel is contained entirely in the other set's kernel.
|
static boolean |
isKerSubsetDom(solver.variables.SetVar sub,
solver.variables.IntVar sup)
Checks if a set's kernel is contained entirely in the integer's domain.
|
static boolean |
isKerSubsetEnv(solver.variables.SetVar sub,
solver.variables.SetVar sup)
Checks if a set's kernel is contained entirely in the set's envelope.
|
static boolean |
isKerSubsetKer(solver.variables.SetVar sub,
solver.variables.SetVar sup)
Checks if a set's kernel is contained entirely in the other set's kernel.
|
static int[] |
iterateDom(solver.variables.IntVar ivar)
Enumerate the domain of a integer variable.
|
static int[] |
iterateEnv(solver.variables.SetVar set)
Enumerate the envelope of a set variable.
|
static int[] |
iterateKer(solver.variables.SetVar set)
Enumerate the kernel of a set variable.
|
static boolean |
kersContain(solver.variables.SetVar[] union,
int value)
Checks if at least one of the set's kernel contains a value.
|
static boolean |
kerSubsetKer(solver.variables.SetVar sub,
solver.variables.SetVar sup,
solver.ICause propagator)
Adds every element in a set's kernel to the other set's kernel.
|
static solver.variables.delta.IIntDeltaMonitor[] |
monitorDeltas(solver.variables.IntVar[] vars,
solver.ICause propagator)
Monitor the deltas for all the variables.
|
static solver.variables.delta.monitor.SetDeltaMonitor[] |
monitorDeltas(solver.variables.SetVar[] vars,
solver.ICause propagator)
Monitor the deltas for all the variables.
|
public static solver.variables.delta.IIntDeltaMonitor[] monitorDeltas(solver.variables.IntVar[] vars, solver.ICause propagator)
vars
- the variablespropagator
- the propagatorpublic static solver.variables.delta.monitor.SetDeltaMonitor[] monitorDeltas(solver.variables.SetVar[] vars, solver.ICause propagator)
vars
- the variablespropagator
- the propagatorpublic static int[] iterateDom(solver.variables.IntVar ivar)
ivar
- the integer variabledom(int)
public static int[] iterateEnv(solver.variables.SetVar set)
set
- the set variableenv(set)
public static int[] iterateKer(solver.variables.SetVar set)
set
- the set variableker(set)
public static boolean domsContain(solver.variables.IntVar[] union, int value)
union
- the integersvalue
- the valuetrue
if
value ∈ dom(union[i]) for some i
, false
otherwisepublic static boolean envsContain(solver.variables.SetVar[] union, int value)
union
- the setsvalue
- the valuetrue
if
value ∈ env(union[i]) for some i
, false
otherwisepublic static boolean kersContain(solver.variables.SetVar[] union, int value)
union
- the setsvalue
- the valuetrue
if
value ∈ kernel(union[i]) for some i
, false
otherwisepublic static boolean isDomIntersectDom(solver.variables.IntVar i1, solver.variables.IntVar i2)
i1
- the first operandi2
- the second operandtrue
if dom(i1) ⋂ dom(i2) ≠ {}
, false
otherwisepublic static boolean isDomIntersectEnv(solver.variables.IntVar i1, solver.variables.SetVar i2)
i1
- the first operandi2
- the second operandtrue
if dom(i1) ⋂ env(i2) ≠ {}
, false
otherwisepublic static boolean isDomIntersectKer(solver.variables.IntVar i1, solver.variables.SetVar i2)
i1
- the first operandi2
- the second operandtrue
if dom(i1) ⋂ ker(i2) ≠ {}
, false
otherwisepublic static boolean isEnvIntersectEnv(solver.variables.SetVar i1, solver.variables.SetVar i2)
i1
- the first operandi2
- the second operandtrue
if env(i1) ⋂ env(i2) ≠ {}
, false
otherwisepublic static boolean isEnvIntersectKer(solver.variables.SetVar i1, solver.variables.SetVar i2)
i1
- the first operandi2
- the second operandtrue
if env(i1) ⋂ ker(i2) ≠ {}
, false
otherwisepublic static boolean isKerIntersectKer(solver.variables.SetVar i1, solver.variables.SetVar i2)
i1
- the first operandi2
- the second operandtrue
if ker(i1) ⋂ ker(i2) ≠ {}
, false
otherwisepublic static boolean isDomSubsetDom(solver.variables.IntVar sub, solver.variables.IntVar sup)
sub
- the subsetsup
- the supersettrue
if dom(sub) ⊆ dom(sup)
, false
otherwisepublic static boolean isDomSubsetEnv(solver.variables.IntVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if dom(sub) ⊆ env(sup)
, false
otherwisepublic static boolean isDomSubsetKer(solver.variables.IntVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if dom(sub) ⊆ ker(sup)
, false
otherwisepublic static boolean isEnvSubsetDom(solver.variables.SetVar sub, solver.variables.IntVar sup)
sub
- the subsetsup
- the supersettrue
if env(sub) ⊆ dom(sup)
, false
otherwisepublic static boolean isEnvSubsetEnv(solver.variables.SetVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if env(sub) ⊆ env(sup)
, false
otherwisepublic static boolean isEnvSubsetKer(solver.variables.SetVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if env(sub) ⊆ ker(sup)
, false
otherwisepublic static boolean isKerSubsetDom(solver.variables.SetVar sub, solver.variables.IntVar sup)
sub
- the subsetsup
- the supersettrue
if ker(sub) ⊆ dom(sup)
, false
otherwisepublic static boolean isKerSubsetEnv(solver.variables.SetVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if ker(sub) ⊆ env(sup)
, false
otherwisepublic static boolean isKerSubsetKer(solver.variables.SetVar sub, solver.variables.SetVar sup)
sub
- the subsetsup
- the supersettrue
if ker(sub) ⊆ ker(sup)
, false
otherwisepublic static boolean domSubsetSet(solver.variables.IntVar sub, gnu.trove.set.TIntSet sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean domSubsetDom(solver.variables.IntVar sub, solver.variables.IntVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean domSubsetEnv(solver.variables.IntVar sub, solver.variables.SetVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean domSubsetKer(solver.variables.IntVar sub, solver.variables.SetVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean envSubsetSet(solver.variables.SetVar sub, gnu.trove.set.TIntSet sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean envSubsetDom(solver.variables.SetVar sub, solver.variables.IntVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean envSubsetEnv(solver.variables.SetVar sub, solver.variables.SetVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean envSubsetKer(solver.variables.SetVar sub, solver.variables.SetVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
public static boolean kerSubsetKer(solver.variables.SetVar sub, solver.variables.SetVar sup, solver.ICause propagator) throws solver.exception.ContradictionException
sub
- the subsetsup
- the supersetpropagator
- the propagatortrue
if a variable has been changed, false
otherwisesolver.exception.ContradictionException
Copyright © 2013. All Rights Reserved.