Uses of Interface
sjm.engine.AxiomEnumeration

Packages that use AxiomEnumeration

sjm.engine
sjm.examples.query

Uses of AxiomEnumeration in sjm.engine

Classes in sjm.engine that implement AxiomEnumeration

class

ProgramEnumerator A ProgramEnumerator returns the axioms of a program, one at a time.

Fields in sjm.engine declared as AxiomEnumeration

protected AxiomEnumeration

ConsultingStructure.axioms

Methods in sjm.engine that return AxiomEnumeration

AxiomEnumeration	Program.axioms() Returns an enumeration of the axioms in this program.
AxiomEnumeration	Program.axioms(Structure ignored) Returns an enumeration of the axioms in this program.
protected AxiomEnumeration	ConsultingStructure.axioms()
AxiomEnumeration	AxiomSource.axioms() Returns all the axioms from a source.
AxiomEnumeration	AxiomSource.axioms(Structure s) Returns an enumeration of axioms.

Uses of AxiomEnumeration in sjm.examples.query

Methods in sjm.examples.query that return AxiomEnumeration

AxiomEnumeration	ChipSource.axioms() Returns all the data in the chip database.
AxiomEnumeration	ChipSource.axioms(Structure s) Returns all the data in the chip database.