core directory
Contents
- Reference
Directories
- directory problem/
Files
- file IUniverseSolver.hpp
- Defines an interface for any kind of solvers.
- file UniverseAssumption.hpp
- Defines an object representing a solving assumption.
- file UniverseContradictionException.hpp
- Defines an exception thrown when encountering a trivial inconsistency.
- file UniverseJavaSolver.hpp
- Defines an implementation of an IUniverseSolver in Java (using JNI).
- file UniverseSolverResult.hpp
- Defines an enumeration of all possible results produced by a solver.
- file UniverseType.hpp
- Defines various aliases for types used throughout Universe.