| Class | Description |
|---|---|
| EOFLexer |
This class behaves likes the
Lexer, only fullstop tokens are replaced
by EOF tokens. |
| ImmutableProblem |
This is the immutable Version of a Kodkod problem description.
|
| IntegerIntervall |
Stores an integer interval by its upper and lower bound.
|
| KodkodAnalysis |
This is a visitor for the syntax tree of an input to the program.
|
| KodkodInteraction |
Main class for the Kodkod wrapper.
|
| KodkodSession |
The session contains all the information that is needed during an interaction
with a client.
|
| Problem |
A Problem defines the components of a Kodkod problem description.
|
| Problem.CalculatedIntegerAtoms | |
| RelationInfo |
This class contains various information about a relation that is declared for
a problem.
|
| Request |
A request stores the information about a ongoing query in the current
session.
|
| SolverChecker |
Here we determine if we use Minisat or SAT4J as back-end.
|
| Exception | Description |
|---|---|
| EOFLexer.AbortException |