Rainbow
Class ModelcheckResult.AutomataState

java.lang.Object
  |
  +--Rainbow.ModelcheckResult.AutomataState

All Implemented Interfaces:

Serializable

Enclosing class:

ModelcheckResult

public static class ModelcheckResult.AutomataState

extends Object

implements Serializable

An automata state on the path to a failed model-check.

See Also:

Serialized Form

Field Summary

String	loopType What kind of loop is currently expected.
String	operator What is the current temporal operator.
int	propositionValuation What is the (bit-coded) proposition valuation.

Methods inherited from class java.lang.Object

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

Field Detail

propositionValuation

public int propositionValuation

What is the (bit-coded) proposition valuation.

See Also:

ModelCheck.Evaluator

operator

public String operator

What is the current temporal operator.

loopType

public String loopType

What kind of loop is currently expected.