edu.mit.ai.psg.jeva
Class EvalMethods.EvalHookPostData

java.lang.Object
  |
  +--edu.mit.ai.psg.jeva.EvalMethods.EvalHookData
        |
        +--edu.mit.ai.psg.jeva.EvalMethods.EvalHookPostData

Direct Known Subclasses:

EvalMethods.AbruptData, EvalMethods.ResultData, EvalMethods.ResultEnvData, EvalMethods.ResultStoreData

Enclosing class:

EvalMethods

public abstract static class EvalMethods.EvalHookPostData

extends EvalMethods.EvalHookData

EvalHook data, all cases after evaluating

Constructor Summary

EvalMethods.EvalHookPostData(IEnv env)

Methods inherited from class edu.mit.ai.psg.jeva.EvalMethods.EvalHookData

getEnv

Methods inherited from class java.lang.Object

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

Constructor Detail

EvalMethods.EvalHookPostData

public EvalMethods.EvalHookPostData(IEnv env)