sjm.engine
Class Program

java.lang.Object
  |
  +--sjm.engine.Program

public class Program

extends java.lang.Object

implements AxiomSource

A Program is a collection of rules and facts that together form a logical model.

Field Summary

protected java.util.Vector

axioms

Constructor Summary

Program()
Create a new program with no axioms.

Program(Axiom[] axioms)
Create a new program with the given axioms.

Method Summary

void	addAxiom(Axiom a) Adds an axiom to this program.
void	append(AxiomSource as) Appends all the axioms of another source to this one.
AxiomEnumeration	axioms() Returns an enumeration of the axioms in this program.
AxiomEnumeration	axioms(Structure ignored) Returns an enumeration of the axioms in this program.
java.lang.String	toString() Returns a string representation of this program.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

axioms

protected java.util.Vector axioms

Constructor Detail

Program

public Program()

Create a new program with no axioms.

Program

public Program(Axiom[] axioms)

Create a new program with the given axioms.

Method Detail

addAxiom

public void addAxiom(Axiom a)

Adds an axiom to this program.

Parameters:

Axiom - the axiom to add.

append

public void append(AxiomSource as)

Appends all the axioms of another source to this one.

Parameters:

program - the source of the new axioms

axioms

public AxiomEnumeration axioms()

Returns an enumeration of the axioms in this program.

Specified by:

axioms in interface AxiomSource

Returns:

an enumeration of the axioms in this program.

axioms

public AxiomEnumeration axioms(Structure ignored)

Returns an enumeration of the axioms in this program.

Specified by:

axioms in interface AxiomSource

Returns:

an enumeration of the axioms in this program.

toString

public java.lang.String toString()

Returns a string representation of this program.

Overrides:

toString in class java.lang.Object

Returns:

a string representation of this program.