JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
jtabwb.tracesupport
Interface _TraceSupport
public interface
_TraceSupport
A prover with the methods needed to manage traces.
Author:
Mauro Ferrari
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method and Description
_TraceManager
getTraceManager
()
Method Detail
getTraceManager
_TraceManager
getTraceManager()
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method