Package com.crawljax.condition.invariant

Invariant util package.

Class Summary

Class	Description
Invariant	An Invariant is an condition which should always hold when its preconditions are satisfied.