Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
_TraceManager |
_TraceSupport.getTraceManager() |
Constructor and Description |
---|
Validator(Trace trace,
_Prover prover,
_TraceManager traceManager) |