ai.libs.jaicore.logic.fol.util

Class NextBindingFoundEvent

java.lang.Object

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

ai.libs.jaicore.logic.fol.util.NextBindingFoundEvent

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
NextBindingFoundEvent(java.lang.String algorithmId, java.util.Map<VariableParam,LiteralParam> grounding)

Method Summary

Modifier and Type	Method and Description
java.util.Map<VariableParam,LiteralParam>	getGrounding()

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

NextBindingFoundEvent

public NextBindingFoundEvent(java.lang.String algorithmId,
                             java.util.Map<VariableParam,LiteralParam> grounding)

Method Detail

getGrounding

public java.util.Map<VariableParam,LiteralParam> getGrounding()