Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 1.13 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
jp.ac.kobe_u.cs.sugar
,
jp.ac.kobe_u.cs.sugar.converter
,
jp.ac.kobe_u.cs.sugar.csp
,
jp.ac.kobe_u.cs.sugar.encoder
,
jp.ac.kobe_u.cs.sugar.expression
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.converter.
Converter
jp.ac.kobe_u.cs.sugar.csp.
CSP
jp.ac.kobe_u.cs.sugar.encoder.
Encoder
jp.ac.kobe_u.cs.sugar.expression.
Expression
(implements java.lang.
Comparable
<T>)
jp.ac.kobe_u.cs.sugar.expression.
Atom
jp.ac.kobe_u.cs.sugar.expression.
Sequence
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
jp.ac.kobe_u.cs.sugar.
Logger
jp.ac.kobe_u.cs.sugar.expression.
Parser
jp.ac.kobe_u.cs.sugar.converter.
Predicate
jp.ac.kobe_u.cs.sugar.converter.
Relation
jp.ac.kobe_u.cs.sugar.
SugarConstants
jp.ac.kobe_u.cs.sugar.
SugarMain
java.lang.
Throwable
(implements java.io.
Serializable
)
java.lang.
Exception
jp.ac.kobe_u.cs.sugar.
SugarException
jp.ac.kobe_u.cs.sugar.
XML2CSP
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