Uses of Class
eu.iv4xr.framework.extensions.ltl.BasicModelChecker.MCStatistics

Packages that use BasicModelChecker.MCStatistics

Package	Description
eu.iv4xr.framework.extensions.ltl	This package provides the following features: The classes LTL and BoundedLTL implementing Linear Temporal Logic formulas, and the bounded variation of them.

Uses of BasicModelChecker.MCStatistics in eu.iv4xr.framework.extensions.ltl

Fields in eu.iv4xr.framework.extensions.ltl declared as BasicModelChecker.MCStatistics

Modifier and Type	Field	Description
BasicModelChecker.MCStatistics	BasicModelChecker.stats	Hold some basic statistics over the last model-checking run.
BasicModelChecker.MCStatistics	BuchiModelChecker.stats	Hold some basic statistics over the last model-checking run.