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

Packages that use DlCompletionGraph

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

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

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

Modifier and Type	Method and Description
void	Stats.logStatisticData(LogAdapter o, boolean needLocal, DlCompletionGraph CGraph, JFactReasonerConfiguration options)

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

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

Modifier and Type	Field and Description
protected DlCompletionGraph	DlSatTester.cGraph Completion Graph of tested concept(s)