Class ClauseModel

java.lang.Object

org.projog.core.predicate.udp.ClauseModel

public final class ClauseModel
extends Object

Represents a clause.

A clause consists of a head and a body. Where a clause is not explicitly specified it defaults to having a body of true.

Called ClauseModel to differentiate it from ClauseAction.

Method Summary

Modifier and Type	Method	Description
ClauseModel	copy()
static ClauseModel	createClauseModel(Term original)
Term	getAntecedent()	Returns the body of the clause. i.e. the bit after the :-
Term	getConsequent()	Returns the head of the clause. i.e. the bit before the :-
Term	getOriginal()
PredicateKey	getPredicateKey()
boolean	isFact()
String	toString()

Methods inherited from class Object

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

Method Details

createClauseModel

public static ClauseModel createClauseModel(Term original)

getAntecedent

public Term getAntecedent()

Returns the body of the clause. i.e. the bit after the :-

getConsequent

public Term getConsequent()

Returns the head of the clause. i.e. the bit before the :-

getOriginal

public Term getOriginal()

getPredicateKey

public PredicateKey getPredicateKey()

copy

public ClauseModel copy()

isFact

public boolean isFact()

toString

public String toString()

Overrides:

toString in class Object