Package eu.iv4xr.framework.extensions.ltl

Class LTL.LTLVerdictInfo

java.lang.Object

eu.iv4xr.framework.extensions.ltl.LTL.LTLVerdictInfo

Enclosing class:

LTL<State>

static class LTL.LTLVerdictInfo
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
SATVerdict	verdict

Constructor Summary

Constructors

Constructor	Description
LTLVerdictInfo(SATVerdict v)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

verdict

public SATVerdict verdict

Constructor Details

LTLVerdictInfo

LTLVerdictInfo(SATVerdict v)