Interface ModelCheckingOptions.Opts
- All Known Implementing Classes:
ModelCheckingOptions.ExportOptions
,ModelCheckingOptions.TransitionOptions
- Enclosing class:
- ModelCheckingOptions
public static interface ModelCheckingOptions.Opts
-
Method Summary
-
Method Details
-
getType
ModelCheckingOptions.Options getType()
-