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

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)

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

Fields in uk.ac.manchester.cs.jfact.kernel declared as DLDag

Modifier and Type	Field and Description
protected DLDag	DlSatTester.dlHeap link to dag from TBox

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

Modifier and Type	Method and Description
DLDag	TBox.getDag() get RO access to DAG (needed for KE)
DLDag	DlSatTester.getDAG() get access to the DAG associated with it (necessary for the blocking support)
DLDag	TBox.getDLHeap()

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

Modifier and Type	Method and Description
boolean	DlCompletionTree.isBlockedBy_SHI(DLDag dag, DlCompletionTree p) check blocking condition for SHI logic
boolean	DlCompletionTree.isBlockedBy_SHIQ(DLDag dag, DlCompletionTree p) check blocking condition for SHIQ logic using optimised blocking

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

Constructor and Description
TDag2Interface(DLDag dag, ExpressionManager 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, boolean simpleRules) Create cache model of given CompletionTree using given HEAP

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

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

Modifier and Type	Method and Description
void	TSplitRules.initEntityMap(DLDag Dag) init entity map using given DAG.