| Interface | Description |
|---|---|
| FormulaVisitor |
The interface FormulaVisitor models the visitor for
Formulas
according to the visitor pattern. |
| ISpotlightSolver |
This interface ISpotlightSolver must be implemented for the assignment in
"Formale Systeme 11/12".
|
| Class | Description |
|---|---|
| Board |
The board class is used to provide all necessary information on a Spotlight
board which is a rectangular matrix of
Field elements. |
| BoardComponent |
This class is used to display a
Board on the screen. |
| Clause |
The Class Clause represents DIMACS clauses.
|
| Field |
This class represents a single field on a Spotlight
Board. |
| Formula |
This class is the abstract base class to model propositional formulas of
arbitrary structure.
|
| Formula.And |
Propositional conjunction
The conjunction takes two subformulas.
|
| Formula.Equiv |
Propositional equivalence
The equivalence takes two subformulas.
|
| Formula.Impl |
Propositional implication
The implication takes two subformulas.
|
| Formula.Literal |
Prositional literal
Literals are the basic blocks of formulas.
|
| Formula.Not |
Propositional negation
The negation takes one subformula.
|
| Formula.Or |
Propositional disjunction
The disjunction takes two subformulas.
|
| SATSolver |
The class SATSolver provides an interface to a satisfiability solver.
|
| Enum | Description |
|---|---|
| Field.Direction |
This enumeration lists the possible directions for arrows in fields of
Boards.
|
| Field.FieldColor |
This declaration enumerates the colors that a field can take.
|
| Exception | Description |
|---|---|
| SpotlightException |
This exception class is used whenever a declared exception is thrown in the
framework.
|