nogen include "../scg/scg.cd";

package nwf;

import scg.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.util.Iterator;

EdgeLabeledGraph(N,L1,L2) =
  <adjs> List(Adjacency(N,L1,L2)).

Adjacency(N,L1,L2) = *l
  <source> N "successors" "(" + <successors> List(NodeAndLabel(N,L1,L2)) - ")".
  
NodeAndLabel(N,L1,L2) = *l <n> N *s <label1> L1 *s <label2> L2.

NWFInstance =  // Instance, NWF means NetworkFlow
  "instance"
  <g> EdgeLabeledGraph(Node, EdgeCapacity, EdgeFlow)
  "source" <source> Node
  "sink" <sink> Node implements InstanceI.
  
Node = <v> String.

EdgeCapacity = "c" *s <v> int.

NWFSolution = // the flow for this NWFInstance
  "solution"
  <g> EdgeLabeledGraph(Node, EdgeCapacity, EdgeFlow)
  "source" <source> Node
  "sink" <sink> Node implements SolutionI.
  
EdgeFlow = "f" *s <v> int.

NWFDomain = implements DomainI.

NWFConfig = "nwf_config[" 
            *l*t "maxN:" *s <maxN> int
            //maximum node number in Instance allowed
            *l
            "]" implements DomainConfigI.
            
NWFInstanceSet = <singleton> NWFInstance implements InstanceSetI.