ProgramInput = "Network" <network> InputNetwork
	       "Traffic" <traffic> InputNetwork
	       "Initialize" "Util" <init> InitAlg
	       "Proximity" <prox> ProxAlg
	       "Probability" <prob> ProbAlg
	       "Flow" <flow> FlowAlg
	       "Utilization" "Bias" "Factor" <util> UtilAlg
	       "Iterations" <max_iter> DemNumber.

InputNetwork = <adjacencies> ParList(InputAdjacency).
InputAdjacency = <source> InputNode
		 <neighbors> ParList(InputNeighbor).
InputNeighbor = <node> InputNode
                ["with" <capacity> DemReal].
InputNode = <id> DemNumber.

RoutingAlgorithm = <network> Network
		   <ring> Ring
	           <routing_table> RoutingTable
		   <init> InitAlg
		   <prox> ProxAlg
		   <prob> ProbAlg
		   <flow> FlowAlg
		   <util> UtilAlg
		   <max_iter> DemNumber.
Dummy = <x> List(Commodity).
Commodity = <dest> VNode
	    <sources> List(VNodeTraff).
VNodeTraff = <source> VNode
	     <traffic> DemReal.

RoutingTable = <dags> List(DagDest).
DagDest = <dag> Dag
	  <dest> VNode.
Dag = <start> List(DagAdjacency).
DagAdjacency = <traffic> DemReal
	       <proximity> DemReal
	       <source> VNode
	       <neighbors> List(DagNeighbor).
DagNeighbor = <neighbor> VNode
	      <prob> DemReal
	      <flow> DemReal
	      <shortcut> DemNumber.

	
InitAlg : InitConstant.
InitConstant = "constant" "=" <constant> DemReal.
ProxAlg : Greedy | EP | MP.
Greedy = "greedy".
EP = "ep".
MP = "mp".
ProbAlg : Priority.
Priority = "priority".
FlowAlg : Propagate | Simplex.
Propagate = "propagate".
Simplex = "simplex".
UtilAlg : Factor0 |
	  Factor1 |
	  Factor2 |
	  Factor3 |
	  Factor4 .
Factor0 = "bf0".
Factor1 = "bf1".
Factor2 = "bf2".
Factor3 = "bf3".
Factor4 = "bf4".


Network = <adjacencies> ParList(Adjacency).
Adjacency = <source> Node
	    <neighbors> ParList(Neighbor)
	    "mark" "=" <marked> DemNumber.

Neighbor = <node> Node
	   ["with" <capacity> DemReal].
Node = "ID" "=" <id> DemNumber
       <vnodes> ParList(VNode).

ParList(S) ~ "(" {S} ")".

Tree = <tree_adjacencies> ParList(Tree_Adjacency).
Tree_Adjacency = <source> Node
	         <neighbors> List(Node)
                 "mark" "=" <marked> DemNumber.

Ring = <start> List(VirtualAdjacency)
       <vnode_count> DemNumber.
VirtualAdjacency = <source> VNode
		   <next_util> DemReal
		   <next_past_util> DemReal
		   <next_total_flow> DemReal
	           <shortcuts> List(VirtualNeighbor)
	   	   <jumps> List(VirtualNeighbor).
VirtualNeighbor = <neighbor> VNode
		  <util> DemReal
		  <past_util> DemReal
	          <total_flow> DemReal.
VNode = "VID" "=" <vid> DemNumber
	<phys_node> Node.
List(S) ~ {S}.