ModelCheckingOptions.Opts (Bigraph Parent Project 2.0.0-SNAPSHOT API)

All Known Implementing Classes:: ModelCheckingOptions.ExportOptions, ModelCheckingOptions.TransitionOptions

Enclosing class:: ModelCheckingOptions

public static interface ModelCheckingOptions.Opts

Method Summary

Modifier and Type

Method

Description

ModelCheckingOptions.Options

getType()

Method Details
- getType
  
  ModelCheckingOptions.Options getType()