Uses of Class
org.jacop.jasat.core.clauses.MapClause

Packages that use MapClause

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

Uses of MapClause in org.jacop.jasat.core

Fields in org.jacop.jasat.core declared as MapClause

Modifier and Type	Field and Description
MapClause	Core.explanationClause

Methods in org.jacop.jasat.core with parameters of type MapClause

Modifier and Type	Method and Description
void	ConflictLearning.applyExplainUIP(MapClause explanationClause) It builds the explanation clause made of all literals that were involved in a conflict (ie which are in the clause and were asserted, or were asserted and triggered, in another clause, the propagation of a literal present in the current clause)
int	ConflictLearning.getLevelToBackjump(MapClause explanationClause) It computes to which level we should backjump to solve the conflict explained by @param explanationClause
int	Core.getLevelToBackjump(MapClause explanationClause)
void	Core.triggerConflictEvent(MapClause clause) triggers a conflict.
void	Core.triggerLearnEvent(MapClause clauseToLearn) triggers an event of learning

Uses of MapClause in org.jacop.jasat.core.clauses

Methods in org.jacop.jasat.core.clauses that return MapClause

Modifier and Type	Method and Description
MapClause	BinaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)
MapClause	ClauseDatabaseInterface.resolutionWith(int clauseIndex, MapClause clause) It returns the clause obtained by resolution between clauseIndex and clause.
MapClause	DatabasesStore.resolutionWith(int clauseId, MapClause clause)
MapClause	DefaultClausesDatabase.resolutionWith(int clauseId, MapClause explanation)
MapClause	LongClausesDatabase.resolutionWith(int clauseIndex, MapClause clause)
MapClause	TernaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)
MapClause	UnaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)

Methods in org.jacop.jasat.core.clauses with parameters of type MapClause

Modifier and Type	Method and Description
MapClause	BinaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)
MapClause	ClauseDatabaseInterface.resolutionWith(int clauseIndex, MapClause clause) It returns the clause obtained by resolution between clauseIndex and clause.
MapClause	DatabasesStore.resolutionWith(int clauseId, MapClause clause)
MapClause	DefaultClausesDatabase.resolutionWith(int clauseId, MapClause explanation)
MapClause	LongClausesDatabase.resolutionWith(int clauseIndex, MapClause clause)
MapClause	TernaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)
MapClause	UnaryClausesDatabase.resolutionWith(int clauseId, MapClause clause)

Uses of MapClause in org.jacop.jasat.modules

Methods in org.jacop.jasat.modules with parameters of type MapClause

Modifier and Type	Method and Description
void	ActivityModule.onConflict(MapClause conflictClause, int level)
void	DebugModule.onConflict(MapClause conflictClause, int level)
void	HeuristicRestartModule.onConflict(MapClause clause, int level)
void	StatModule.onConflict(MapClause clause, int level)
void	DebugModule.onExplain(MapClause explanation)
void	HeuristicForgetModule.onExplain(MapClause explanation)
void	SearchModule.onExplain(MapClause explanation)

Uses of MapClause in org.jacop.jasat.modules.interfaces

Methods in org.jacop.jasat.modules.interfaces with parameters of type MapClause

Modifier and Type	Method and Description
void	ConflictListener.onConflict(MapClause conflictclause, int level) called when a conflict occurs
void	ExplanationListener.onExplain(MapClause explanation) called when the conflict clause is explained

Uses of MapClause in org.jacop.satwrapper

Methods in org.jacop.satwrapper with parameters of type MapClause

Modifier and Type	Method and Description
void	SatWrapper.onConflict(MapClause clause, int level) wrapper listens for conflicts.
void	WrapperDebugModule.onConflict(MapClause conflictClause, int level)
void	SatWrapper.onExplain(MapClause explanation) wrapper listens for explanations, to know how deep to backtrack
void	WrapperDebugModule.onExplain(MapClause explanation)

Uses of MapClause in org.jacop.satwrapper.translation

Methods in org.jacop.satwrapper.translation that return MapClause

Modifier and Type	Method and Description
MapClause	DomainClausesDatabase.resolutionWith(int clauseIndex, MapClause clause) to get a real clause to resolve with, we seek for the clause at the origin of the propagation.

Methods in org.jacop.satwrapper.translation with parameters of type MapClause

Modifier and Type	Method and Description
MapClause	DomainClausesDatabase.resolutionWith(int clauseIndex, MapClause clause) to get a real clause to resolve with, we seek for the clause at the origin of the propagation.