Uses of Class
uk.ac.manchester.cs.jfact.kernel.Restorer

Packages that use Restorer

Package	Description
uk.ac.manchester.cs.jfact.kernel

Uses of Restorer in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return Restorer

Modifier and Type	Method and Description
Restorer	DlCompletionTreeArc.addDep(DepSet dep) add dep-set to an edge; return restorer
Restorer	DlCompletionTreeArc.save() save and invalidate arc (together with reverse arc)
Restorer	DlCompletionTree.setCached(boolean val) set cached status of given node
Restorer	DlCompletionTree.setDBlocked(DlCompletionTree blocker) mark node d-blocked
Restorer	DlCompletionTree.setIBlocked(DlCompletionTree blocker) mark node i-blocked
Restorer	DlCompletionTree.setPBlocked(DlCompletionTree blocker, DepSet dep) mark node purged
Restorer	DlCompletionTree.setUBlocked() mark node unblocked
Restorer	CWDArray.updateDepSet(int index, DepSet dep)
Restorer	DlCompletionTree.updateIR(DlCompletionTree node, DepSet toAdd) update IR of the current node with IR from NODE and additional clash-set;

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type Restorer

Modifier and Type	Method and Description
List<Restorer>	CWDArray.updateDepSet(DepSet dep)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type Restorer

Modifier and Type	Method and Description
void	SaveStackRare.push(Restorer p) add a new object to the stack
void	DlCompletionGraph.saveRareCond(Restorer p) save rarely appeared info if P is non-null

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type Restorer

Modifier and Type	Method and Description
void	DlCompletionGraph.saveRareCond(List<Restorer> l)