Sugar version 2.3.2 Core API Specification
- java.lang.Object
-
- jp.kobe_u.sugar.csp.RelationLiteral.Brick
-
-
Field Summary
Fields
Modifier and Type |
Field and Description |
int[] |
lb |
int[] |
ub |
-
Constructor Summary
Constructors
Constructor and Description |
Brick(int[] lb,
int[] ub) |
-
Method Summary
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
Sugar version 2.3.2 Core API Specification
Sugar: A SAT-based Constraint Solver