protected Label getLabelForSet(IntervalSet edgeSet) { Label e = null; int atom = edgeSet.getSingleElement(); if ( atom != Label.INVALID ) { e = new Label(atom); } else { e = new Label(edgeSet); } return e; }
protected Label getLabelForSet(IntervalSet edgeSet) { Label e = null; int atom = edgeSet.getSingleElement(); if ( atom != Label.INVALID ) { e = new Label(atom); } else { e = new Label(edgeSet); } return e; }
protected Label getLabelForSet(IntervalSet edgeSet) { Label e; int atom = edgeSet.getSingleElement(); if ( atom != Label.INVALID ) { e = new Label(atom); } else { e = new Label(edgeSet); } return e; }
protected Label getLabelForSet(IntervalSet edgeSet) { Label e; int atom = edgeSet.getSingleElement(); if ( atom != Label.INVALID ) { e = new Label(atom); } else { e = new Label(edgeSet); } return e; }