package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Global_compiler/FDD/index.html

Module `Global_compiler.FDD`Source

include module type of Fdd.FDD
  with type t = Fdd.FDD.t
   and type r = Frenetic_netkat.Local_compiler.Action.t
   and type v =
         Frenetic_netkat.Local_compiler.Field.t
         * Frenetic_netkat.Local_compiler.Value.t

An FDD is an instance of a Variable-Lattice-Result (VLR) structure.

include sig ... end

Sourcetype t = Fdd.FDD.t

type comparator_witness

val comparator : (t, comparator_witness) Core_kernel__Comparator.comparator

Source

type v =
  Frenetic_netkat.Local_compiler.Field.t
  * Frenetic_netkat.Local_compiler.Value.t

Sourcetype r = Frenetic_netkat.Local_compiler.Action.t

Sourcetype d = private

| Leaf of r
| Branch of {
1. test : v;
2. tru : t;
3. fls : t;
4. all_fls : t;
}

Sourcemodule Tbl : sig ... end

Sourcemodule BinTbl : sig ... end

Sourceval get : d -> t

Sourceval unget : t -> d

Sourceval get_uid : t -> int

Sourceval drop : t

Sourceval id : t

Sourceval const : r -> t

Sourceval atom : v -> r -> r -> t

Sourceval cond : v -> t -> t -> t

Sourceval unchecked_cond : v -> t -> t -> t

Sourceval restrict : v list -> t -> t

Sourceval map : f:(r -> t) -> g:(v -> t -> t -> t) -> t -> t

Source

val dp_map : 
  f:(r -> t) ->
  g:(v -> t -> t -> t) ->
  t ->
  find_or_add:(t -> default:(unit -> t) -> t) ->
  t

Sourceval map_r : f:(r -> r) -> t -> t

Sourceval fold : f:(r -> 'a) -> g:(v -> 'a -> 'a -> 'a) -> t -> 'a

Sourceval equal : t -> t -> bool

Sourceval sum : t -> t -> t

Sourceval prod : t -> t -> t

Sourceval compare : t -> t -> int

Sourceval to_string : t -> string

Sourceval clear_cache : preserve:Core.Int.Set.t -> unit

Sourceval compressed_size : t -> int

Sourceval uncompressed_size : t -> int

Sourceval to_dot : t -> string

Sourceval refs : t -> Core.Int.Set.t

Sourceval serialize : t -> string

Sourceval deserialize : string -> t

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

Sourceval mk_cont : int64 -> t

Sourceval conts : t -> Core.Int64.Set.t

Sourceval map_conts : t -> f:(int64 -> int64) -> t

Sourceval equivalent : t -> t -> bool

Sourceval of_pred : Frenetic_netkat.Local_compiler.Field.Env.t -> Syntax.pred -> t

Source

val of_mod : 
  Frenetic_netkat.Local_compiler.Field.Env.t ->
  Syntax.header_val ->
  t

Sourceval union : t -> t -> t

Sourceval seq : t -> t -> t

Sourceval star : t -> t

Sourceval big_union : t list -> t

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.netkat/Frenetic_netkat/Global_compiler/FDD/index.html

Module Global_compiler.FDDSource

Module `Global_compiler.FDD`Source