code.lang
Class SuccessModule.EqSuccessCode

java.lang.Object
  code.lang.SuccessModule.EqSuccessCode

All Implemented Interfaces:

Instruction

Enclosing class:

SuccessModule

private static class SuccessModule.EqSuccessCode
extends java.lang.Object
implements Instruction

Description of the Class

Since:

June 17, 2003

Author:

jimeng

Constructor Summary

private

SuccessModule.EqSuccessCode()

Method Summary

private void	bindAndRestart(Variable variable, Term otherSide, Computation computation)
void	execute(Computation computation) This method executes whatever is intended by the Instruction.
java.lang.String	printAsTxtLoadable()

Methods inherited from class java.lang.Object

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

Constructor Detail

SuccessModule.EqSuccessCode

private SuccessModule.EqSuccessCode()

Method Detail

execute

public void execute(Computation computation)

Description copied from interface: Instruction

This method executes whatever is intended by the Instruction.

Specified by:

execute in interface Instruction

Parameters:

computation - The instruction is executed in the context of this Computation.

bindAndRestart

private void bindAndRestart(Variable variable,
                            Term otherSide,
                            Computation computation)

printAsTxtLoadable

public java.lang.String printAsTxtLoadable()

Specified by:

printAsTxtLoadable in interface Instruction