Uses of Class
jtabwb.engine.TraceException

Packages that use TraceException

Package	Description
jtabwb.engine	Main classes implementing the engine; it specifies the interfaces with the user defined prover.

Uses of TraceException in jtabwb.engine

Methods in jtabwb.engine that throw TraceException

Modifier and Type	Method and Description
void	Trace.pruneSuccessful() Prunes the trace-tree removing the inessential branches from the successful trace.