sjm.engine
Interface AxiomEnumeration

All Known Implementing Classes:

ProgramEnumerator

public interface AxiomEnumeration

An object that implements the AxiomEnumeration interface generates a series of axioms, one at a time.

Method Summary

boolean	hasMoreAxioms() Tests if this enumeration contains more axioms.
Axiom	nextAxiom() Returns the next axiom of this enumeration.

Method Detail

hasMoreAxioms

public boolean hasMoreAxioms()

Tests if this enumeration contains more axioms.

Returns:

true if this enumeration contains more axioms, and false otherwise.

nextAxiom

public Axiom nextAxiom()

Returns the next axiom of this enumeration.

Returns:

the next axiom of this enumeration.