Searched refs:edgeLabel (Results 1 – 2 of 2) sorted by relevance
366 public static boolean intersect(Label label, Label edgeLabel) { in intersect() argument369 boolean edgeIsSet = edgeLabel.isSet(); in intersect()370 if ( !labelIsSet && !edgeIsSet && edgeLabel.label==label.label ) { in intersect()374 !edgeLabel.getSet().and(label.getSet()).isNil() ) { in intersect()378 label.getSet().member(edgeLabel.label) ) { in intersect()382 edgeLabel.getSet().member(label.label) ) { in intersect()
870 Label edgeLabel = edge.label; in reach() local879 if ( c.context.parent!=null && edgeLabel.label==Label.EOT ) { in reach()886 if ( Label.intersect(label, edgeLabel) ) { in reach()925 Label edgeLabel = edge.label; in convertToEOTAcceptState() local926 if ( edgeLabel.equals(eot) ) { in convertToEOTAcceptState()