org.provarules.reference2

Class ProvaResolutionInferenceEngineImpl

java.lang.Object

org.provarules.reference2.ProvaResolutionInferenceEngineImpl

All Implemented Interfaces:

ProvaResolutionInferenceEngine

public class ProvaResolutionInferenceEngineImpl
extends java.lang.Object
implements ProvaResolutionInferenceEngine

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.ThreadLocal<java.util.List<ProvaDelayedCommand>>	delayedCommands

Constructor Summary

Constructors

Constructor and Description
ProvaResolutionInferenceEngineImpl(ProvaKnowledgeBase kb, ProvaRule query)

Method Summary

Modifier and Type	Method and Description
ProvaKnowledgeBase	getKb()
ProvaDerivationNode	run()
void	setKb(ProvaKnowledgeBase kb)
void	setReagent(ProvaReagent prova)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

delayedCommands

public static java.lang.ThreadLocal<java.util.List<ProvaDelayedCommand>> delayedCommands

Constructor Detail

ProvaResolutionInferenceEngineImpl

public ProvaResolutionInferenceEngineImpl(ProvaKnowledgeBase kb,
                                          ProvaRule query)

Method Detail

run

public ProvaDerivationNode run()

Specified by:

run in interface ProvaResolutionInferenceEngine

setKb

public void setKb(ProvaKnowledgeBase kb)

getKb

public ProvaKnowledgeBase getKb()

setReagent

public void setReagent(ProvaReagent prova)

Specified by:

setReagent in interface ProvaResolutionInferenceEngine