Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines.epsilon_engine

class ['a] epsilon_engine : 'a engine_state -> Unixqueue.event_system -> ['a] engine
This engine transitions from its initial state `Working 0 in one step ("epsilon time") to the passed constant state. During this time event processing will continue, so concurrently running engines can make progress. For performance reasons, however, external resources like file descriptors are not watched for new events.

In previous versions of this library the class was called const_engine. However, this is not a constant thing. In particular, it is possible that this engine is aborted, so the passed state is not reached. To avoid programming errors because of the misnomer, this class has been renamed.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml