InfiniteLoop.yes means a rule can loop indefinitely while consuming nothing. InfiniteLoop.no means a rule cannot loop indefinitely. InfiniteLoop.indeterminate means the algorithm could not converge.
See Implementation
InfiniteLoop.yes means a rule can loop indefinitely while consuming nothing. InfiniteLoop.no means a rule cannot loop indefinitely. InfiniteLoop.indeterminate means the algorithm could not converge.