jtp.fol
Interface CNFSentence

All Superinterfaces:

Substitutable

All Known Subinterfaces:

Clause, Literal

All Known Implementing Classes:

DefaultClause, DefaultCNFSentence, DefaultLiteral

public interface CNFSentence

extends Substitutable

A sentence in Conjunctive Normal Form, i.e., a conjunction of Clauses.

Method Summary

Collection

clauses() Returns the collection of Clauses that make up this CNFSentence.

Methods inherited from interface jtp.Substitutable

substitute

Method Detail

clauses

public Collection clauses()

Returns the collection of Clauses that make up this CNFSentence.

Returns:

a Collection of Clauses