cz.cuni.amis.pogamut.sposh.engine
Class PoshEngine.EvaluationResultInfo
java.lang.Object
cz.cuni.amis.pogamut.sposh.engine.PoshEngine.EvaluationResultInfo
- Enclosing class:
- PoshEngine
public static class PoshEngine.EvaluationResultInfo
- extends Object
Container holding two information about result of last evaluation of the
plan and how was stack changed.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
result
public PoshEngine.EvaluationResult result
- How did evaluation of the plan ended?
type
public FireResult.Type type
- How was stack changed.
PoshEngine.EvaluationResultInfo
public PoshEngine.EvaluationResultInfo(PoshEngine.EvaluationResult result,
FireResult.Type type)
Copyright © 2014 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.