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

Packages that use CGLabel

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

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

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

Modifier and Type	Method and Description
CGLabel	DlCompletionTree.label()

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

Modifier and Type	Method and Description
boolean	CGLabel.lesserequal(CGLabel label)