Class | Description |
---|---|
Log |
This class implements logging facilities.
|
LogLevel |
The class containing Retrascope logging levels.
|
ModelTransformUtils |
Utility methods for models transformation.
|
NodeOrthogonalizer |
Component that performs an orthogonalization of nodes.
|
NodeUtils |
Utility methods for
Node objects. |
ReadWriteUtils |
Read and write utilities.
|
SmvChecker |
This class represents the NuXmv model checker wrapper.
|
SolverUtils |
Utility methods to work with solver.
|
TransformerUtils |
Utility methods for transformation of expressions.
|
Enum | Description |
---|---|
LogMessage |
Utility class for logger messages.
|
SmvChecker.Result |
Result of checker execution.
|