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

Packages that use DLDag

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

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

Methods in uk.ac.manchester.cs.jfact.helpers with parameters of type DLDag

Modifier and Type	Method and Description
void	DLVertex.sortEntry(DLDag dag)

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

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

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

Modifier and Type	Method and Description
DLDag	TBox.getDag()
DLDag	DlSatTester.getDAG()
DLDag	TBox.getDLHeap()

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

Modifier and Type	Method and Description
boolean	DlCompletionTree.isBlockedBySHI(DLDag dag, DlCompletionTree p)
boolean	DlCompletionTree.isBlockedBySHIQ(DLDag dag, DlCompletionTree p)

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type DLDag

Constructor and Description
TDag2Interface(DLDag dag, ExpressionCache manager) init c'tor

Uses of DLDag in uk.ac.manchester.cs.jfact.kernel.modelcaches

Constructors in uk.ac.manchester.cs.jfact.kernel.modelcaches with parameters of type DLDag

Constructor and Description
ModelCacheIan(DLDag heap, DlCompletionTree p, boolean flagNominals, int nC, int nR, JFactReasonerConfiguration simpleRules) Create cache model of given CompletionTree using given HEAP