Uses of Interface
uk.ac.manchester.cs.jfact.helpers.LogAdapter

Packages that use LogAdapter

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

Uses of LogAdapter in uk.ac.manchester.cs.jfact

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

Modifier and Type	Method and Description
void	JFactReasoner.dumpClassHierarchy(LogAdapter pw, boolean includeBottomNode)

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

Methods in uk.ac.manchester.cs.jfact.helpers that return LogAdapter

Modifier and Type	Method and Description
default LogAdapter	LogAdapter.print(boolean b)
default LogAdapter	LogAdapter.print(byte b)
default LogAdapter	LogAdapter.print(char c)
default LogAdapter	LogAdapter.print(double d)
default LogAdapter	LogAdapter.print(float f)
default LogAdapter	LogAdapter.print(int i)
default LogAdapter	LogAdapter.print(Object... s)
default LogAdapter	LogAdapter.print(Object s)
default LogAdapter	LogAdapter.print(Object s1, Object s2)
default LogAdapter	LogAdapter.print(Object s1, Object s2, Object s3)
default LogAdapter	LogAdapter.print(Object s1, Object s2, Object s3, Object s4)
default LogAdapter	LogAdapter.print(Object s1, Object s2, Object s3, Object s4, Object s5)
default LogAdapter	LogAdapter.print(short s)
default LogAdapter	LogAdapter.print(String s)
default LogAdapter	LogAdapter.println()
default LogAdapter	LogAdapter.printTemplate(Templates t, Object... strings)
default LogAdapter	LogAdapter.printTemplateInt(Templates t, int... strings)
default LogAdapter	LogAdapter.printTemplateMixInt(Templates t, Object s, int... strings)

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

Modifier and Type	Method and Description
void	Stats.logStatisticData(LogAdapter o, boolean needLocal, DlCompletionGraph cGraph, JFactReasonerConfiguration options) Log statistic data.
void	Stats.AccumulatedStatistic.print(LogAdapter l, boolean b, String s1, String s2)

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

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

Modifier and Type	Method and Description
void	RoleAutomaton.print(LogAdapter o)
void	Role.print(LogAdapter o)
void	RAStateTransitions.print(LogAdapter o) print all the transitions starting from the state FROM
void	DlCompletionTreeArc.print(LogAdapter o) print current arc
void	DlCompletionGraph.print(LogAdapter o)
void	RATransition.print(LogAdapter o, int from) print the transition starting from FROM
void	RoleMaster.print(LogAdapter o, String type)
void	TBox.printAxioms(LogAdapter o)
void	DlCompletionTree.printBody(LogAdapter o)
void	TBox.printConcept(LogAdapter o, Concept p)
void	TBox.printConcepts(LogAdapter o) print all registered concepts
void	TBox.printDagEntry(LogAdapter o, int p)
void	DLDag.printDAGUsage(LogAdapter o)
void	TBox.printIndividuals(LogAdapter o) print all registered individuals
float	DlSatTester.printReasoningTime(LogAdapter o)
void	TBox.printSimpleRules(LogAdapter o)
void	DLDag.printStat(LogAdapter o) print DAG size and number of cache hits, together with DAG usage
static void	Axiom.setLogAdapter(LogAdapter l)
void	LogicFeatures.writeState(LogAdapter l)
void	DlSatTester.writeTotalStatistic(LogAdapter o)

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

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

Modifier and Type	Method and Description
void	ModelCacheSingleton.logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)
abstract void	ModelCacheInterface.logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)
void	ModelCacheIan.logCacheEntry(int level, LogAdapter l)
void	ModelCacheConst.logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)

Uses of LogAdapter in uk.ac.manchester.cs.jfact.kernel.options

Methods in uk.ac.manchester.cs.jfact.kernel.options that return LogAdapter

Modifier and Type	Method and Description
LogAdapter	JFactReasonerConfiguration.getAbsorptionLog() Gets the absorption log.
LogAdapter	JFactReasonerConfiguration.getLog() Gets the log.