Uses of Package
org.jacop.jasat.core

Packages that use org.jacop.jasat.core

Package	Description
org.jacop.jasat.core
org.jacop.jasat.core.clauses
org.jacop.jasat.modules
org.jacop.jasat.modules.interfaces
org.jacop.jasat.utils
org.jacop.satwrapper
org.jacop.satwrapper.translation

Classes in org.jacop.jasat.core used by org.jacop.jasat.core

Class and Description
Config The configuration for a solver.
ConflictLearning A solver component for conflict learning.
Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
SolverComponent An interface for solver components, that are connected together via the Core.
Trail It stores the current variables status (affected or not, with which value and explanation).

Classes in org.jacop.jasat.core used by org.jacop.jasat.core.clauses

Class and Description
Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
SolverComponent An interface for solver components, that are connected together via the Core.
Trail It stores the current variables status (affected or not, with which value and explanation).

Classes in org.jacop.jasat.core used by org.jacop.jasat.modules

Class and Description
Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
SolverComponent An interface for solver components, that are connected together via the Core.

Classes in org.jacop.jasat.core used by org.jacop.jasat.modules.interfaces

Class and Description
SolverComponent An interface for solver components, that are connected together via the Core.

Classes in org.jacop.jasat.core used by org.jacop.jasat.utils

Class and Description
Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
SolverComponent An interface for solver components, that are connected together via the Core.

Classes in org.jacop.jasat.core used by org.jacop.satwrapper

Class and Description
Core The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.
SolverComponent An interface for solver components, that are connected together via the Core.

Classes in org.jacop.jasat.core used by org.jacop.satwrapper.translation

Class and Description
SolverComponent An interface for solver components, that are connected together via the Core.