Provides PassVerifier classes used internally by JustIce. You don't need to bother with them.
Package Specification
Contained in this package are PassVerifier classes for use with the JustIce verifier.
Only the passes performing what Sun calls 'static constraints' have PassVerifier classes
here.
Related Documentation
For a simple demonstration of JustIce working, please see: