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.

Field Summary

Fields

Modifier and Type	Field and Description
PoshEngine.EvaluationResult	result How did evaluation of the plan ended?
FireResult.Type	type How was stack changed.

Constructor Summary

Constructors

Constructor and Description
EvaluationResultInfo(PoshEngine.EvaluationResult result, FireResult.Type type)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

result

public PoshEngine.EvaluationResult result

How did evaluation of the plan ended?

type

public FireResult.Type type

How was stack changed.

Constructor Detail

EvaluationResultInfo

public EvaluationResultInfo(PoshEngine.EvaluationResult result,
                            FireResult.Type type)