Uses of Class
com.crawljax.condition.ConditionType

Packages that use ConditionType

Package	Description
com.crawljax.condition
com.crawljax.condition.crawlcondition	Crawlcondition package.
com.crawljax.condition.invariant	Invariant util package.

Uses of ConditionType in com.crawljax.condition

Classes in com.crawljax.condition with type parameters of type ConditionType

Modifier and Type	Class	Description
class	ConditionTypeChecker<T extends ConditionType>	Controller class for the invariants.

Uses of ConditionType in com.crawljax.condition.crawlcondition

Subclasses of ConditionType in com.crawljax.condition.crawlcondition

Modifier and Type	Class	Description
class	CrawlCondition	A Crawl condition is a condition which should be satisfied in order to crawl the current state.

Uses of ConditionType in com.crawljax.condition.invariant

Subclasses of ConditionType in com.crawljax.condition.invariant

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