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
uk.ac.manchester.cs.jfact.kernel.todolist

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 dagtag, 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, DLDag heap) c'tor for Top/CN/And (before adding any operands)
DLVertex(DagTag op, int m, Role r, int c, Role projR, DLDag heap) c'tor for max 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	DLDag.updateIndex(DagTag tag, int value) update index corresponding to DLVertex's tag

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

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

Modifier and Type	Method and Description
void	ToDoList.addEntry(DlCompletionTree node, DagTag type, ConceptWDep c) add entry with given NODE and CONCEPT with given OFFSET to the Todo table
int	ToDoPriorMatrix.getIndex(DagTag op, boolean sign, boolean nominalNode)