PHP Eris\Quantifier Пространство имен

Interfaces

Имя Описание
TerminationCondition

Классы

Имя Описание
Evaluation TODO: change namespace. To what?
ForAll
Size
SizeTest
TimeBasedTerminationCondition
TimeBasedTerminationConditionTest