Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
Modifier and Type | Method and Description |
---|---|
void |
Trace.pruneSuccessful()
Prunes the trace-tree removing the inessential branches from the successful
trace.
|