package frenetic

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Two-Player Adversarial Strategy

include FABRIC_GEN
type fabric = Syntax.policy list * Syntax.policy list

A fabric is a pair of policies (fout,fin) used to maintain consistency * of a packet's virtual and physical locations during virtual compilation.

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 -> fabric
val default_ving_pol : vrel:Syntax.pred -> ping:Syntax.pred -> Syntax.policy option