JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 2.3.2 Core API Specification
Prev
Next
Frames
No Frames
All Classes
Hierarchy For All Packages
Package Hierarchies:
jp.kobe_u.sugar
,
jp.kobe_u.sugar.converter
,
jp.kobe_u.sugar.csp
,
jp.kobe_u.sugar.encoder
,
jp.kobe_u.sugar.expression
,
jp.kobe_u.sugar.hook
,
jp.kobe_u.sugar.hybrid
,
jp.kobe_u.sugar.pb
Class Hierarchy
java.lang.Object
jp.kobe_u.sugar.encoder.
AbstractEncoder
jp.kobe_u.sugar.encoder.
OrderEncoder
jp.kobe_u.sugar.encoder.
Encoder
jp.kobe_u.sugar.csp.
BooleanVariable
(implements java.lang.Comparable<T>)
jp.kobe_u.sugar.csp.
Clause
jp.kobe_u.sugar.converter.
ComparisonConverter
jp.kobe_u.sugar.converter.
Converter
jp.kobe_u.sugar.csp.
CSP
jp.kobe_u.sugar.
CSP2XML
jp.kobe_u.sugar.converter.
DefinitionConverter
jp.kobe_u.sugar.hook.
ExampleHook
(implements jp.kobe_u.sugar.hook.
ConverterHook
)
jp.kobe_u.sugar.expression.
Expression
(implements java.lang.Comparable<T>)
jp.kobe_u.sugar.expression.
Atom
jp.kobe_u.sugar.expression.
Sequence
jp.kobe_u.sugar.converter.
ExpressionOptimizer
jp.kobe_u.sugar.converter.
GlobalConverter
jp.kobe_u.sugar.hybrid.
HybridConverter
jp.kobe_u.sugar.hybrid.
HybridEncoder
jp.kobe_u.sugar.csp.
IntegerDomain
jp.kobe_u.sugar.csp.
IntegerDomainDiet
jp.kobe_u.sugar.csp.
IntegerDomainIntevals
jp.kobe_u.sugar.csp.
IntegerVariable
(implements java.lang.Comparable<T>)
jp.kobe_u.sugar.csp.
LinearSum
jp.kobe_u.sugar.csp.
Literal
jp.kobe_u.sugar.csp.
BooleanLiteral
jp.kobe_u.sugar.csp.
HoldLiteral
jp.kobe_u.sugar.csp.
LabelLiteral
jp.kobe_u.sugar.csp.
LinearLiteral
jp.kobe_u.sugar.csp.
LinearEqLiteral
jp.kobe_u.sugar.csp.
LinearGeLiteral
jp.kobe_u.sugar.csp.
LinearLeLiteral
jp.kobe_u.sugar.csp.
LinearNeLiteral
jp.kobe_u.sugar.csp.
PowerLiteral
jp.kobe_u.sugar.csp.
ProductLiteral
jp.kobe_u.sugar.csp.
RelationLiteral
jp.kobe_u.sugar.
Logger
jp.kobe_u.sugar.
Output
(implements jp.kobe_u.sugar.
OutputInterface
)
jp.kobe_u.sugar.
OutputSMT
(implements jp.kobe_u.sugar.
OutputInterface
)
jp.kobe_u.sugar.expression.
Parser
jp.kobe_u.sugar.pb.
PBEncoder
jp.kobe_u.sugar.pb.
PBExpr
jp.kobe_u.sugar.pb.
PBProblem
jp.kobe_u.sugar.pb.
PBFileProblem
jp.kobe_u.sugar.csp.
Predicate
jp.kobe_u.sugar.encoder.
Problem
jp.kobe_u.sugar.encoder.
FileProblem
jp.kobe_u.sugar.csp.
Relation
jp.kobe_u.sugar.csp.
RelationLiteral.Brick
jp.kobe_u.sugar.converter.
Simplifier
jp.kobe_u.sugar.
SugarConstants
jp.kobe_u.sugar.
SugarMain
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
jp.kobe_u.sugar.
SugarException
jp.kobe_u.sugar.
XCSP
jp.kobe_u.sugar.
XCSP.Constraint
jp.kobe_u.sugar.
XCSP.Domain
jp.kobe_u.sugar.
XCSP.Predicate
jp.kobe_u.sugar.
XCSP.Relation
jp.kobe_u.sugar.
XCSP.Variable
jp.kobe_u.sugar.
XML2CSP
Interface Hierarchy
jp.kobe_u.sugar.hook.
ConverterHook
jp.kobe_u.sugar.
OutputInterface
Enum Hierarchy
java.lang.Object
java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
jp.kobe_u.sugar.csp.
CSP.Objective
jp.kobe_u.sugar.encoder.
Encoding
jp.kobe_u.sugar.
Output.Format
jp.kobe_u.sugar.
OutputSMT.Format
jp.kobe_u.sugar.pb.
PBEncoder.Encoding
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Sugar version 2.3.2 Core API Specification
Prev
Next
Frames
No Frames
All Classes
Sugar: A SAT-based Constraint Solver