Searched refs:labelSet (Results 1 – 1 of 1) sorted by relevance
122 protected IntSet labelSet; field in Label129 public Label(IntSet labelSet) { in Label() argument130 if ( labelSet==null ) { in Label()132 this.labelSet = IntervalSet.of(INVALID); in Label()135 int singleAtom = labelSet.getSingleElement(); in Label()142 this.labelSet = labelSet; in Label()150 l.labelSet = new IntervalSet(); in clone()151 l.labelSet.addAll(this.labelSet); in clone()161 labelSet = IntervalSet.of(label); in add()164 labelSet.add(a.getAtom()); in add()[all …]