BasicModelChecker.MCStatistics

java.lang.Object

eu.iv4xr.framework.extensions.ltl.BasicModelChecker.MCStatistics

Enclosing class:: BasicModelChecker

public static class BasicModelChecker.MCStatistics extends Object

Field Summary

Fields

Modifier and Type

Field

Description

int

numberOfStatesExplored

int

numberOfTransitionsExplored
Constructor Summary

Constructors

Constructor

Description

MCStatistics()
Method Summary

Modifier and Type

Method

Description

void

clear()

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- numberOfStatesExplored
  
  public int numberOfStatesExplored
- numberOfTransitionsExplored
  
  public int numberOfTransitionsExplored
Constructor Details
- MCStatistics
  
  public MCStatistics()
Method Details
- clear
  
  public void clear()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object