Uses of Package
org.jacop.jasat.core
-
Classes in org.jacop.jasat.core used by org.jacop.jasat.core Class 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 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 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.interfaces Class 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 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 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.satwrapper.translation Class Description SolverComponent An interface for solver components, that are connected together via the Core.