Uses of Interface
jtabwb.tracesupport._TraceSupport

Packages that use _TraceSupport

Package	Description
jtabwb.tracesupport	Some tool for managing traces and C-trees, including support for LaTeX source generation.

Uses of _TraceSupport in jtabwb.tracesupport

Constructors in jtabwb.tracesupport with parameters of type _TraceSupport

Constructor and Description
TraceValidator(Trace trace, _Prover prover, _TraceSupport traceSupport)