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