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:

- A WWW front-end for JustIce.