Uses of Package
org.clafer.collection

Packages that use org.clafer.collection

Package	Description
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.collection	This package provides various data structures common throughout the project.
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.ir.analysis	This package provides various analysis and optimizations to perform on the IR.
org.clafer.ir.compiler	This package provides a compiler to translate IR to Choco.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.

Classes in org.clafer.collection used by org.clafer.ast.analysis

Class and Description
Pair A 2-tuple.

Classes in org.clafer.collection used by org.clafer.collection

Class and Description
Either A sum type.
EmptyIntIterator An empty iterator.
FixedCapacityIntSet For small, fixed-capacity sets.
FList Persistent singly-linked list.
Just
Maybe A option type.
Nothing
Pair A 2-tuple.
Triple A 3-tuple.

Classes in org.clafer.collection used by org.clafer.compiler

Class and Description
Pair A 2-tuple.

Classes in org.clafer.collection used by org.clafer.ir.analysis

Class and Description
Pair A 2-tuple.
Triple A 3-tuple.

Classes in org.clafer.collection used by org.clafer.ir.compiler

Class and Description
Either A sum type.

Classes in org.clafer.collection used by org.clafer.javascript

Class and Description
Pair A 2-tuple.
Triple A 3-tuple.