Package 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 Description ForwardChainingProblem(Monom factbase, Monom conclusion, boolean cwa)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Monom
getConclusion()
Monom
getFactbase()
boolean
isCwa()
-