package ego

  1. Overview
  2. Docs

Module Scheduler.SimpleSource

The module Simple implements a scheduler that runs every rule each time - i.e applies no scheduling at all. This works fine for rewrite systems with a finite number of EClasses but can become a problem if the number of EClasses is too large or unbounded.

Sourcetype t
Sourcetype data
Sourceval init : unit -> data
Sourceval create_rule_metadata : t -> 'b -> data
Sourceval should_stop : t -> int -> data -> bool
Sourceval guard_rule_usage : ('node, 'analysis, 'data, 'permission) egraph -> t -> data -> int -> (data -> (Id.t * Id.t StringMap.t) Iter.t) -> (Id.t * Id.t StringMap.t) Iter.t
OCaml

Innovation. Community. Security.