(Method) CheckCandidateFor
functionality for restricted
outputs for exactly one
: IETrig ). For use
for this collection
is designed for
period for modulo
epsilon for LREAL
termination criteria for
