Index of /vendor/giorgiosironi/eris/src/Quantifier

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] Evaluation.php          2026-03-31 06:14  1.3K  
[   ] ForAll.php              2026-03-31 06:14  8.3K  
[   ] Size.php                2026-03-31 06:14  2.0K  
[   ] TerminationCondition..> 2026-03-31 06:14  147   
[   ] TimeBasedTermination..> 2026-03-31 06:14  865