Uses of Class
org.jacop.jasat.core.Trail

Packages that use Trail

Package	Description
org.jacop.jasat.core
org.jacop.jasat.core.clauses

Uses of Trail in org.jacop.jasat.core

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

Modifier and Type	Field and Description
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 and Description
Trail	AbstractClausesDatabase.trail

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

Modifier and Type	Method and Description
boolean	MapClause.isUnitIn(int literal, Trail trail)
boolean	MapClause.isUnitIn(Trail trail)
boolean	MapClause.isUnsatisfiableIn(Trail trail)