ai.libs.jaicore.logic.fol.util

Class ForwardChainingFailedCWABindingEvent

java.lang.Object

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

ai.libs.jaicore.logic.fol.util.ForwardChainingFailedCWABindingEvent

All Implemented Interfaces:

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

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

This is used if a binding is found that is ok for positive literals, but negative literals of the conclusions are in the factbase.

Constructor Summary

Constructors

Constructor and Description
ForwardChainingFailedCWABindingEvent(java.lang.String algorithmId)

Method Summary

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

ForwardChainingFailedCWABindingEvent

public ForwardChainingFailedCWABindingEvent(java.lang.String algorithmId)