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

package nwf;

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


nogen List(X) = Cons(X) | Empty(X).
nogen Cons(X) = <first> X <rest> List(X).
nogen Empty(X) = .

nogen Option(X)= Some(X) | None(X).
nogen Some(X) = <just> X.
nogen None(X) = .

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

Adjacency(N,L1,L2) = 
  <source> N "successors" "(" <successors> List(NodeAndLabel(N,L1,L2)) ")".
  
NodeAndLabel(N,L1,L2) = <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[" "maxN:" <maxN> int
            //maximum node number in Instance allowed
            "]" implements DomainConfigI.
            
NWFInstanceSet = <singleton> NWFInstance implements InstanceSetI.