Package ai.libs.jaicore.logic.fol.util

Class NextBindingFoundEvent

java.lang.Object

ai.libs.jaicore.basic.algorithm.AAlgorithmEvent

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

All Implemented Interfaces:

org.api4.java.algorithm.events.IAlgorithmEvent, org.api4.java.common.event.IEvent

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

Constructor Summary

Constructors

Constructor	Description
NextBindingFoundEvent(org.api4.java.algorithm.IAlgorithm<?,?> algorithm, java.util.Map<VariableParam,LiteralParam> grounding)

Method Summary

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

Methods inherited from class ai.libs.jaicore.basic.algorithm.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(org.api4.java.algorithm.IAlgorithm<?,?> algorithm,
                             java.util.Map<VariableParam,LiteralParam> grounding)

Method Detail

getGrounding

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