org.jpc.engine.embedded

Class Clause

java.lang.Object

org.jpc.engine.embedded.Clause

All Implemented Interfaces:

Comparable<Clause>

Direct Known Subclasses:

Rule

public class Clause
extends Object
implements Comparable<Clause>

A Prolog clause. In its simples form, a clause just wraps a compiled term (a fact) and a unique id.

Author:

sergioc

See Also:

Rule

Constructor Summary

Constructors

Constructor and Description
Clause(Term head, Environment env)

Method Summary

Modifier and Type	Method and Description
protected void	checkClauseHead(Term head)
int	compareTo(Clause clause)
boolean	equals(Object obj)
Term	getHead()
int	getId()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

Clause

public Clause(Term head,
              Environment env)

Method Detail

checkClauseHead

protected void checkClauseHead(Term head)

getId

public int getId()

getHead

public Term getHead()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

compareTo

public int compareTo(Clause clause)

Specified by:

compareTo in interface Comparable<Clause>