Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Constructor and Description |
---|
TraceValidator(Trace trace,
_Prover prover,
_TraceSupport traceSupport) |