PHP Eris\Quantifier Namespace

Interfaces

Name Description
TerminationCondition

Classes

Name Description
Evaluation TODO: change namespace. To what?
ForAll
Size
SizeTest
TimeBasedTerminationCondition
TimeBasedTerminationConditionTest