crillab-universe/csp/ directory

Contents

Directories

directory intension/
directory operator/

Files

file IUniverseCspSolver.hpp
Defines an interface for CSP solvers.
file UniverseJavaCspSolver.hpp
Defines an implementation of an IUniverseCspSolver in Java (using JNI).
file UniverseTransition.hpp
Provides the information about a transition in an automaton-based constraint.