Searched refs:singleAtom (Results 1 – 1 of 1) sorted by relevance
135 int singleAtom = labelSet.getSingleElement(); in Label() local136 if ( singleAtom!=INVALID ) { in Label()138 label = singleAtom; in Label()