// ** This file was generated with DemFGen (vers:4/12/2011)

package gen;

import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;





/** Representation of EdgeLabeledGraph<N, L1, L2> */
public class EdgeLabeledGraph<N, L1, L2>{
    protected final List<Adjacency<N, L1, L2>> adjs;

    /** Construct a(n) EdgeLabeledGraph<N, L1, L2> Instance */
    public EdgeLabeledGraph(List<Adjacency<N, L1, L2>> 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<N, L1, L2> oo = (EdgeLabeledGraph<N, L1, L2>)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 gen.Display.DisplayM(this); }
    /** DGP method from Class Print */
    public String print(){ return gen.Print.PrintM(this); }
    /** DGP method from Class ToStr */
    public String toStr(){ return gen.ToStr.ToStrM(this); }
    /** Updater for field EdgeLabeledGraph.adjs */
    public EdgeLabeledGraph<N,L1,L2> updateAdjs(List<Adjacency<N,L1,L2>> _adjs){
        return new EdgeLabeledGraph<N,L1,L2>(_adjs);
    }
    /** Getter for field EdgeLabeledGraph.adjs */
    public List<Adjacency<N,L1,L2>> getAdjs(){ return adjs; }

}