public final class ModelChecker
extends java.lang.Object
This should be used as a Ring component.
| Constructor | Description |
|---|---|
ModelChecker() |
| Modifier and Type | Method | Description |
|---|---|---|
void |
check() |
Copyright © 2018 Oracle Corporation. All rights reserved.