sjm.examples.logic
Class AxiomAssembler

java.lang.Object
  |
  +--sjm.parse.Assembler
        |
        +--sjm.examples.logic.AxiomAssembler

public class AxiomAssembler

extends Assembler

Pops the structures of a rule from an assembly's stack, and constructs and pushes a rule.

Constructor Summary

AxiomAssembler()

Method Summary

void	workOn(Assembly a) Pops all of the structures on the stack, builds a rule from them, and pushes it.

Methods inherited from class sjm.parse.Assembler

elementsAbove

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomAssembler

public AxiomAssembler()

Method Detail

workOn

public void workOn(Assembly a)

Pops all of the structures on the stack, builds a rule from them, and pushes it.

Overrides:

workOn in class Assembler

Parameters:

Assembly - the assembly to work on