Sugar version 1.13 Core API Specification

Package jp.ac.kobe_u.cs.sugar.csp

Class Summary
BooleanLiteral This class implements a boolean literal of CSP.
BooleanVariable This class implements a boolean variable of CSP.
Clause This class implements a clause in CSP.
CSP A class for CSP (Constraint Satisfaction Problems).
IntegerDomain This class implements an integer domain class.
IntegerVariable This class implements an integer variable of CSP.
LinearLiteral This class implements a comparison literal of CSP.
LinearSum A class for linear expressions.
Literal This is an abstract class for literals of CSP.
PowerLiteral NOT IMPLEMENTED YET.
ProductLiteral NOT IMPLEMENTED YET.
RelationLiteral This class implements a literal for relations.
 

Enum Summary
CSP.Objective Objective types.
 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver