Sugar version 2.3.2 Core API Specification
- java.lang.Object
-
- jp.kobe_u.sugar.XCSP.Variable
-
-
Constructor Summary
Constructors
Constructor and Description |
Variable(java.lang.String name,
java.lang.String domain) |
-
Method Summary
-
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
-
-
Method Detail
-
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
Sugar version 2.3.2 Core API Specification
Sugar: A SAT-based Constraint Solver