Searched refs:markedStates (Results 1 – 2 of 2) sorted by relevance
54 protected Set<Object> markedStates = null; field in DOTGenerator73 markedStates = new HashSet<Object>(); in getDOT()114 if ( markedStates.contains(Utils.integer(s.stateNumber)) ) { in walkCreatingDFADOT()118 markedStates.add(Utils.integer(s.stateNumber)); // mark this node as completed. in walkCreatingDFADOT()164 if ( markedStates.contains(s) ) { in walkRuleNFACreatingDOT()168 markedStates.add(s); // mark this node as completed. in walkRuleNFACreatingDOT()
44 protected Set<State> markedStates; field in FASerializer80 markedStates = new HashSet<State>(); in serialize()136 if ( markedStates.contains(s) ) { in walkSerializingFA()140 markedStates.add(s); // mark this node as completed. in walkSerializingFA()