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

Packages that use CWDArray

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

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

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

Modifier and Type	Method and Description
CWDArray	CGLabel.getLabel(DagTag tag) get (RW) label associated with the concepts defined by TAG

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

Modifier and Type	Method and Description
boolean	DlSatTester.findConcept(CWDArray lab, int p) try to add a concept to a label given by TAG; ~C can't appear in the label
boolean	CWDArray.lesserequal(CWDArray label)