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

Packages that use DlCompletionGraph

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

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) Log statistic data.