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/Virtual_Compiler/Make/index.html

Module `Virtual_Compiler.Make`Source

Virtual Compiler generator parameterized by Fabric Generation strategy

Parameters

module FG : FabricGen.FABRIC_GEN

Signature

val generate_fabric : 
  ?log:bool ->
  ?record_paths:string ->
  vrel:Syntax.pred ->
  vtopo:Syntax.policy ->
  ving:Syntax.pred ->
  veg:Syntax.pred ->
  ptopo:Syntax.policy ->
  ping:Syntax.pred ->
  peg:Syntax.pred ->
  unit ->
  FG.fabric

Generate a fabric for use by virtual compiler

Source

val compile_with_fabric : 
  vtopo:Syntax.policy ->
  ving_pol:Syntax.policy ->
  ving:Syntax.pred ->
  veg:Syntax.pred ->
  ping:Syntax.pred ->
  peg:Syntax.pred ->
  vpol:Syntax.policy ->
  FG.fabric ->
  Syntax.policy

Compile virtual policy reusing precomputed fabric