Uses of Class
org.jacop.jasat.core.Trail
-
Packages that use Trail Package Description org.jacop.jasat.core org.jacop.jasat.core.clauses org.jacop.jasat.modules org.jacop.satwrapper -
-
Uses of Trail in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as Trail Modifier and Type Field Description private Trail
ConflictLearning. trail
Trail
Core. trail
-
Uses of Trail in org.jacop.jasat.core.clauses
Fields in org.jacop.jasat.core.clauses declared as Trail Modifier and Type Field Description Trail
AbstractClausesDatabase. trail
Methods in org.jacop.jasat.core.clauses with parameters of type Trail Modifier and Type Method Description boolean
MapClause. isUnitIn(int literal, Trail trail)
boolean
MapClause. isUnitIn(Trail trail)
boolean
MapClause. isUnsatisfiableIn(Trail trail)
-
Uses of Trail in org.jacop.jasat.modules
Fields in org.jacop.jasat.modules declared as Trail Modifier and Type Field Description private Trail
HeuristicAssertionModule. trail
-
Uses of Trail in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as Trail Modifier and Type Field Description private Trail
SatWrapper. trail
-