Sugar version 1.13 Core API Specification

Package jp.ac.kobe_u.cs.sugar.expression

Class Summary
Atom This class implements atomic expressions.
Expression This is an abstract class for expressions.
Parser The Parser class parses an input and constructs a list of expressions.
Sequence This class implements sequence expressions.
 


Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver