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

Packages that use DagTag

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

Uses of DagTag in uk.ac.manchester.cs.jfact.datatypes

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type DagTag

Modifier and Type	Method and Description
boolean	DataTypeReasoner.addDataEntry(boolean positive, DagTag type, NamedEntry entry, DepSet dep)

Uses of DagTag in uk.ac.manchester.cs.jfact.helpers

Constructors in uk.ac.manchester.cs.jfact.helpers with parameters of type DagTag

Constructor and Description
DLVertex(DagTag op) c'tor for Top/CN/And (before adding any operands)
DLVertex(DagTag op, int m, Role R, int c, Role ProjR) c'tor for <= n R_C; and for \A R{n}_C; Note order C, n, R.pointer

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

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

Modifier and Type	Method and Description
static DagTag	DagTag.valueOf(String name) Returns the enum constant of this type with the specified name.
static DagTag[]	DagTag.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

Modifier and Type	Method and Description
void	CGLabel.add(DagTag tag, ConceptWDep p)
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
void	ToDoList.addEntry(DlCompletionTree node, DagTag type, ConceptWDep C) add entry with given NODE and CONCEPT with given OFFSET to the Todo table
CWDArray	CGLabel.getLabel(DagTag tag) get (RW) label associated with the concepts defined by TAG
void	DLDag.updateIndex(DagTag tag, int value) update index corresponding to DLVertex's tag