Module Virtual_Compiler.MakeSource

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

Generate a fabric for use by virtual compiler

Sourceval 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

Sourceval 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