Virtual Compiler generator parameterized by Fabric Generation strategy
FG : FabricGen.FABRIC_GEN
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