Modifier and Type | Method and Description |
---|---|
default ReExpression |
ArExpression.eq(ArExpression... ys) |
default ReExpression |
ArExpression.eq(ArExpression y) |
default ReExpression |
ArExpression.eq(int y) |
default ReExpression |
ArExpression.ge(ArExpression y) |
default ReExpression |
ArExpression.ge(int y) |
default ReExpression |
ArExpression.gt(ArExpression y) |
default ReExpression |
ArExpression.gt(int y) |
default ReExpression |
ArExpression.le(ArExpression y) |
default ReExpression |
ArExpression.le(int y) |
default ReExpression |
ArExpression.lt(ArExpression y) |
default ReExpression |
ArExpression.lt(int y) |
default ReExpression |
ArExpression.ne(ArExpression y) |
default ReExpression |
ArExpression.ne(int y) |
Constructor and Description |
---|
IfArExpression(ReExpression b,
ArExpression y1,
ArExpression y2) |
Modifier and Type | Class and Description |
---|---|
class |
BiLoExpression
Binary arithmetic expression
Project: choco-solver.
|
class |
LoExpression
Project: choco-solver.
|
class |
NaLoExpression
Binary arithmetic expression
Project: choco-solver.
|
class |
UnLoExpression
Binary arithmetic expression
Project: choco-solver.
|
Constructor and Description |
---|
BiLoExpression(LoExpression.Operator op,
ReExpression e1,
ReExpression e2)
Builds a n-ary expression
|
NaLoExpression(LoExpression.Operator op,
ReExpression... es)
Builds a n-ary expression
|
NaLoExpression(LoExpression.Operator op,
ReExpression e,
ReExpression... es)
Builds a n-ary expression
|
NaLoExpression(LoExpression.Operator op,
ReExpression e,
ReExpression... es)
Builds a n-ary expression
|
UnLoExpression(LoExpression.Operator op,
ReExpression e)
Builds a n-ary expression
|
Modifier and Type | Class and Description |
---|---|
class |
BiReExpression
Binary relational expression
|
class |
NaReExpression
Binary relational expression
|
Modifier and Type | Method and Description |
---|---|
default ReExpression |
ReExpression.and(ReExpression... y) |
default ReExpression |
ReExpression.iff(ReExpression... y) |
default ReExpression |
ReExpression.imp(ReExpression y) |
default ReExpression |
ReExpression.not() |
default ReExpression |
ReExpression.or(ReExpression... y) |
default ReExpression |
ReExpression.xor(ReExpression... y) |
Modifier and Type | Method and Description |
---|---|
default ReExpression |
ReExpression.and(ReExpression... y) |
default ReExpression |
ReExpression.iff(ReExpression... y) |
default ReExpression |
ReExpression.imp(ReExpression y) |
default ReExpression |
ReExpression.or(ReExpression... y) |
default ReExpression |
ReExpression.xor(ReExpression... y) |
Modifier and Type | Interface and Description |
---|---|
interface |
BoolVar
CPRU r544: remove default implementation |
Modifier and Type | Class and Description |
---|---|
class |
BoolVarImpl
|
class |
FixedBoolVarImpl
A constant view specific to boolean variable
Based on "Views and Iterators for Generic Constraint Implementations",
C.
|
Modifier and Type | Class and Description |
---|---|
class |
BoolNotView
A view for boolean variable, that enforce not(b).
|
Copyright © 2018. All rights reserved.