ai.libs.jaicore.logic.fol.structure

Class HornRule

java.lang.Object

ai.libs.jaicore.logic.fol.structure.HornRule

public class HornRule
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
HornRule(Monom premise, Literal conclusion)

Method Summary

Modifier and Type	Method and Description
Literal	getConclusion()
Monom	getPremise()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

HornRule

public HornRule(Monom premise,
                Literal conclusion)

Method Detail

getPremise

public Monom getPremise()

getConclusion

public Literal getConclusion()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object