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

Packages that use ConceptWDep

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

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

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

Modifier and Type	Method and Description
ConceptWDep	CGLabel.getCCConceptWithBP(int bp)
ConceptWDep	CWDArray.getConceptWithBP(int bp)
ConceptWDep	CGLabel.getConceptWithBP(int bp)
ConceptWDep	CGLabel.getSCConceptWithBP(int bp)

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

Modifier and Type	Method and Description
List<ConceptWDep>	DlCompletionTree.complexConcepts()
List<ConceptWDep>	CWDArray.getBase()
List<ConceptWDep>	CGLabel.getComplexConcepts()
List<ConceptWDep>	CGLabel.getSimpleConcepts()
List<ConceptWDep>	DlCompletionTree.simpleConcepts()

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

Modifier and Type	Method and Description
void	CGLabel.add(DagTag tag, ConceptWDep p) index p by tag, clear caches
void	DlCompletionTree.addConcept(ConceptWDep p, DagTag tag) adds concept P to a label, defined by TAG; update blocked status if necessary
void	DlCompletionGraph.addConceptToNode(DlCompletionTree node, ConceptWDep c, DagTag tag) add concept C of a type TAG to NODE; call blocking check if appropriate

Uses of ConceptWDep in uk.ac.manchester.cs.jfact.kernel.todolist

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

Modifier and Type	Method and Description
void	ArrayQueue.add(DlCompletionTree node, ConceptWDep offset) add entry to a queue
void	ToDoList.addEntry(DlCompletionTree node, DagTag type, ConceptWDep c) add entry with given NODE and CONCEPT with given OFFSET to the Todo table