Sugar version 2.3.2 Core API Specification
- java.lang.Object
-
- jp.kobe_u.sugar.csp.Relation
-
-
Constructor Summary
Constructors
Constructor and Description |
Relation(java.lang.String name,
int arity,
Sequence body) |
-
Method Summary
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
-
Field Detail
-
conflicts
public boolean conflicts
-
tuples
public int[][] tuples
Sugar version 2.3.2 Core API Specification
Sugar: A SAT-based Constraint Solver