ai.libs.jaicore.logic.fol.util

Class ForwardChainingProblem

java.lang.Object

ai.libs.jaicore.logic.fol.util.ForwardChainingProblem

public class ForwardChainingProblem
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ForwardChainingProblem(Monom factbase, Monom conclusion, boolean cwa)

Method Summary

Modifier and Type	Method and Description
Monom	getConclusion()
Monom	getFactbase()
boolean	isCwa()

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardChainingProblem

public ForwardChainingProblem(Monom factbase,
                              Monom conclusion,
                              boolean cwa)

Method Detail

getFactbase

public Monom getFactbase()

getConclusion

public Monom getConclusion()

isCwa

public boolean isCwa()