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.
|
SatSolver |
Embedded (project-level) satisfiability (SAT) solver.
|
SmvChecker |
This class represents the NuXmv model checker wrapper.
|
SolverUtils |
Utility methods to work with solver.
|
ToolTest |
The
ToolTest class is a base class for all JUnit test
cases that run the tool with some parameters. |
TransformerUtils |
Utility methods for transformation of expressions.
|
Enum | Description |
---|---|
LogMessage |
Utility class for logger messages.
|
SmvChecker.Result |
Result of checker execution.
|
TemporalOperation |
This enum represents SVA, PSL, LTL and CTL operators.
|
TemporalOperation.Family |
Logic family.
|