Package com.crawljax.condition.invariant

Invariant util package.

See: Description

Class Summary

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

Package com.crawljax.condition.invariant Description

Invariant util package.