Package com.javapathfinder.vjp.verify.view

Class Summary

ControlPanel	The Composite the holds all of the buttons to control verification
ErrorViewer	Displays the errors generated from the verification
TraceTable	The table used to display information about the thread trace generated by JPF during verification.
TransitionView	Serves as a viewer into the contents of a transition
VJPView	This class represent the VJP view.