Package edu.harvard.seas.pl.abcdatalog.ast

Class Clause

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.Clause

Direct Known Subclasses:

DatalogValidator.ValidClause, SemiNaiveClauseAnnotator.SemiNaiveClause

public class Clause
extends Object

A clause consisting of a head and a body, the latter of which is a list of premises. The standard interpretation is that the head of a clause is considered to hold if each premise in the body holds.

Field Summary

Fields

Modifier and Type	Field	Description
protected final List<Premise>	body

Constructor Summary

Constructors

Constructor	Description
Clause(Head head, List<Premise> body)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
List<Premise>	getBody()	Returns the body of this clause.
Head	getHead()	Returns the head of this clause.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

body

protected final List<Premise> body

Constructor Details

Clause

public Clause(Head head,
 List<Premise> body)

Method Details

getHead

public Head getHead()

Returns the head of this clause.

Returns:

the head

getBody

public List<Premise> getBody()

Returns the body of this clause.

Returns:

the body

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object