Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 1.13 Core API Specification
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package jp.ac.kobe_u.cs.sugar.csp
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.
Object
jp.ac.kobe_u.cs.sugar.csp.
BooleanVariable
(implements java.lang.
Comparable
<T>)
jp.ac.kobe_u.cs.sugar.csp.
Clause
jp.ac.kobe_u.cs.sugar.csp.
CSP
jp.ac.kobe_u.cs.sugar.csp.
IntegerDomain
jp.ac.kobe_u.cs.sugar.csp.
IntegerVariable
(implements java.lang.
Comparable
<T>)
jp.ac.kobe_u.cs.sugar.csp.
LinearSum
jp.ac.kobe_u.cs.sugar.csp.
Literal
jp.ac.kobe_u.cs.sugar.csp.
BooleanLiteral
jp.ac.kobe_u.cs.sugar.csp.
LinearLiteral
jp.ac.kobe_u.cs.sugar.csp.
PowerLiteral
jp.ac.kobe_u.cs.sugar.csp.
ProductLiteral
jp.ac.kobe_u.cs.sugar.csp.
RelationLiteral
Enum Hierarchy
java.lang.
Object
java.lang.
Enum
<E> (implements java.lang.
Comparable
<T>, java.io.
Serializable
)
jp.ac.kobe_u.cs.sugar.csp.
CSP.Objective
Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 1.13 Core API Specification
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Sugar: A SAT-based Constraint Solver