Module Frenetic_netkat.Virtual_Compiler.Make

Virtual Compiler generator parameterized by Fabric Generation strategy

Parameters

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 ‑> FG.fabric

Generate a fabric for use by virtual compiler

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

val compile : ?⁠log:bool ‑> ?⁠record_paths:string ‑> vrel:Syntax.pred ‑> vtopo:Syntax.policy ‑> ving_pol:Syntax.policy ‑> ving:Syntax.pred ‑> veg:Syntax.pred ‑> ptopo:Syntax.policy ‑> ping:Syntax.pred ‑> peg:Syntax.pred ‑> Syntax.policy ‑> Syntax.policy

Generate fabric and use it to compile virtual policy