Lines Matching refs:smax
502 int smax = Label.MIN_ATOM_VALUE - 1;
511 if ( label.getAtom()>smax ) {
512 smax = label.getAtom();
523 if ( labels.getMaxElement()>smax ) {
524 smax = labels.getMaxElement();
529 if ( smax<0 ) {
532 smax = Label.MIN_CHAR_VALUE;
536 max.set(s.stateNumber, Utils.integer((char)smax));
538 if ( smax<0 || smin>Label.MAX_CHAR_VALUE || smin<0 ) {
548 int smax = ((Integer)max.get(s.stateNumber)).intValue();
551 Vector stateTransitions = new Vector(smax-smin+1);
552 stateTransitions.setSize(smax-smin+1);
640 int smax = ((Integer)max.get(s.stateNumber)).intValue();
642 if ( hasSemPred || smax-smin>MAX_STATE_TRANSITIONS_FOR_TABLE ) {
