sjm.examples.logic
Class EvaluationAssembler

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

public class EvaluationAssembler

extends Assembler

Pops two terms, constructs an Evaluation from these terms, and pushes it.

Constructor Summary

EvaluationAssembler()

Method Summary

void	workOn(Assembly a) Pops two terms, constructs an Evaluation from these terms, 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

EvaluationAssembler

public EvaluationAssembler()

Method Detail

workOn

public void workOn(Assembly a)

Pops two terms, constructs an Evaluation from these terms, and pushes it.

Overrides:

workOn in class Assembler

Parameters:

Assembly - the assembly to work on