ai.libs.jaicore.logic.fol.structure

Class Rule

java.lang.Object

ai.libs.jaicore.logic.fol.structure.Rule

public class Rule
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Rule(CNFFormula pPremise, CNFFormula pConclusion)

Method Summary

Modifier and Type	Method and Description
CNFFormula	getConclusion()
java.util.Set<ConstantParam>	getConstantParams()
CNFFormula	getPremise()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule(CNFFormula pPremise,
            CNFFormula pConclusion)

Method Detail

getPremise

public CNFFormula getPremise()

getConclusion

public CNFFormula getConclusion()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getConstantParams

public java.util.Set<ConstantParam> getConstantParams()