PHP Eris\Quantifier Namespace

Interfaces

Name Description
TerminationCondition

Сlasses

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