// ** This file was generated with DemFGen (vers:4/15/2011) package nwf; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.lib.*; import scg.*; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.*; import java.util.Iterator; /** Representation of EdgeLabeledGraph */ public class EdgeLabeledGraph{ protected List> adjs; /** Construct a(n) EdgeLabeledGraph Instance */ public EdgeLabeledGraph(List> adjs){ this.adjs = adjs; } /** Is the given object Equal to this EdgeLabeledGraph? */ public boolean equals(Object o){ if(!(o instanceof EdgeLabeledGraph))return false; if(o == this)return true; EdgeLabeledGraph oo = (EdgeLabeledGraph)o; return (((Object)adjs).equals(oo.adjs)); } /** Field Class for EdgeLabeledGraph.adjs */ public static class adjs extends edu.neu.ccs.demeterf.Fields.any{} /** DGP method from Class Display */ public String display(){ return nwf.Display.DisplayM(this); } /** DGP method from Class Print */ public String print(){ return nwf.Print.PrintM(this); } /** DGP method from Class ToStr */ public String toStr(){ return nwf.ToStr.ToStrM(this); } /** DGP method from Class PrintToString */ public String toString(){ return nwf.PrintToString.PrintToStringM(this); } /** DGP method from Class HashCode */ public int hashCode(){ return nwf.HashCode.HashCodeM(this); } /** Setter for field EdgeLabeledGraph.adjs */ public void setAdjs(List> _adjs){ adjs = _adjs; } /** Getter for field EdgeLabeledGraph.adjs */ public List> getAdjs(){ return adjs; } }