package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

Intermediate representation of global compiler: NetKAT Automata

Sourcetype t = private {

}

Sourceval add_to_t : t -> (FDD.t * FDD.t) -> int64

val fold_reachable : 
  ?order:[< `Post | `Pre Pre ] ->
  t ->
  init:'a ->
  f:('a -> int64 -> (FDD.t * FDD.t) -> 'a) ->
  'a

val of_policy : 
  ?dedup:bool ->
  ?ing:Syntax.pred ->
  ?cheap_minimize:bool ->
  Syntax.policy ->
  t

Sourceval to_local : pc:Fdd.Field.t -> t -> FDD.t

Sourceval to_dot : t -> string

Sourceval render : ?format:string -> ?title:string -> t -> unit

Compiles the provided automaton `t` using `graphviz`, and opens the resulting file.

val skip_topo_states : 
  t ->
  (int64, int64 * int64) Core.Hashtbl.t
  * (int64 * int64, Core.Int64.Set.t) Core.Hashtbl.t