Uses of Class
uk.ac.manchester.cs.jfact.helpers.Reference

Packages that use Reference

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

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

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

Modifier and Type	Method and Description
boolean	DlCompletionGraph.nonMergable(DlCompletionTree p, DlCompletionTree q, Reference<DepSet> dep)
boolean	DlCompletionTree.nonMergable(DlCompletionTree node, Reference<DepSet> dep) check if the NODE's and current node's IR are labelled with the same level