package ego

You can search for identifiers within the package.

in-package search v0.2.0

Ego
- Library ego
  - Ego
    
    Id
    
    Basic
    
    Symbol
    
    Query
    
    Rule
    
    EGraph
    
    Generic
    
    StringMap
    
    Query
    
    Scheduler
    
    Backoff
    
    Simple
    
    LANGUAGE
    
    ANALYSIS
    
    ANALYSIS_OPS
    
    COST
    
    SCHEDULER
    
    GRAPH_API
    
    RULE
    
    MakePrinter
    
    MakeExtractor
    
    Make
    
    Rule
    
    BuildRunner
- Sources
  - ego
    
    basic.ml
    
    ego.ml
    
    ego__.ml
    
    equivalence.ml
    
    generic.ml
    
    id.ml
    
    language.ml
    
    ordered_set.ml
    
    query.ml
    
    scheduler.ml
    
    symbol.ml
    
    term.ml
    
    types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Scheduler.Simple`Source

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

Source

val 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

package ego

Module Scheduler.SimpleSource

Module `Scheduler.Simple`Source