Up – Package index » frenetic » Library frenetic.netkat » Frenetic_netkat » Virtual_Compiler » Make » FG

Parameter `Make.FG`

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