Uses of Class
org.chocosolver.solver.constraints.nary.clauses.ClauseStore
-
Packages that use ClauseStore Package Description org.chocosolver.solver.constraints.nary.clauses org.chocosolver.solver.learn -
-
Uses of ClauseStore in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses that return ClauseStore Modifier and Type Method Description ClauseStore
ClauseConstraint. getClauseStore()
-
Uses of ClauseStore in org.chocosolver.solver.learn
Methods in org.chocosolver.solver.learn with parameters of type ClauseStore Modifier and Type Method Description void
ExplanationForSignedClause. extractConstraint(Model mModel, ClauseStore ngstore)
abstract void
IExplanation. extractConstraint(Model mModel, ClauseStore ngstore)
Extract and post the nogood related to this explanation
-