ai.libs.jaicore.logic.fol.util

Class ForwardChainerRecursionEvent

java.lang.Object

ai.libs.jaicore.basic.algorithm.events.AAlgorithmEvent

ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent

All Implemented Interfaces:

ai.libs.jaicore.basic.algorithm.events.AlgorithmEvent, ai.libs.jaicore.basic.events.IEvent

public class ForwardChainerRecursionEvent
extends ai.libs.jaicore.basic.algorithm.events.AAlgorithmEvent

Constructor Summary

Constructors

Constructor and Description
ForwardChainerRecursionEvent(java.lang.String algorithmId, Literal local, Monom remainingConclusion)

Method Summary

Modifier and Type	Method and Description
Literal	getLocal()
Monom	getRemainingConclusion()
void	setLocal(Literal local)
void	setRemainingConclusion(Monom remainingConclusion)

Methods inherited from class ai.libs.jaicore.basic.algorithm.events.AAlgorithmEvent

getAlgorithmId, getTimestamp

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardChainerRecursionEvent

public ForwardChainerRecursionEvent(java.lang.String algorithmId,
                                    Literal local,
                                    Monom remainingConclusion)

Method Detail

getLocal

public Literal getLocal()

setLocal

public void setLocal(Literal local)

getRemainingConclusion

public Monom getRemainingConclusion()

setRemainingConclusion

public void setRemainingConclusion(Monom remainingConclusion)