jtp.fol
Interface Clause

All Superinterfaces:

CNFSentence, Substitutable

All Known Subinterfaces:

Literal

All Known Implementing Classes:

DefaultClause, DefaultLiteral

public interface Clause

extends CNFSentence

A disjunction of Literals.

Method Summary

Collection

literals() Returns the collection of Literals that make up this Clause.

Methods inherited from interface jtp.fol.CNFSentence

clauses

Methods inherited from interface jtp.Substitutable

substitute

Method Detail

literals

public Collection literals()

Returns the collection of Literals that make up this Clause.

Returns:

a Collection of Literals