Searched refs:StateSet (Results 1 – 5 of 5) sorted by relevance
63 TreeSet<StateSet> aT = new TreeSet<>(); in MinimizeDFA()64 TreeSet<StateSet> aP = new TreeSet<>(); in MinimizeDFA()65 Map<State,StateSet> aTMap = new HashMap<>(); in MinimizeDFA()66 Map<State,StateSet> aPMap = new HashMap<>(); in MinimizeDFA()80 for (final StateSet aSet : aP) in MinimizeDFA()82 final Iterable<StateSet> aParts = Split(aSet, aP, aPMap); in MinimizeDFA()93 for (final StateSet aPart : aParts) in MinimizeDFA()118 for (final StateSet aSet : aT) in MinimizeDFA()136 final Set<StateSet> aSet, in InitializeMap()137 final Map<State,StateSet> aMap, in InitializeMap()[all …]
95 final StateSet aStartSet = GetEpsilonClosure(new StateSet(aNFAStartState)); in CreateDFAforNFA()100 final Queue<StateSet> aWorklist = new LinkedList<>(); in CreateDFAforNFA()105 final Collection<StateSet> aAdditionalWorkList = ProcessTransitionFront( in CreateDFAforNFA()115 private Collection<StateSet> ProcessTransitionFront ( in ProcessTransitionFront()116 final StateSet aSet) in ProcessTransitionFront()118 final Set<StateSet> aLocalWorklist = new TreeSet<>(); in ProcessTransitionFront()128 final StateSet aEpsilonClosure = GetEpsilonClosure(GetEndStateSet(aEntry.getValue())); in ProcessTransitionFront()187 private StateSet GetEpsilonClosure ( final StateSet aSet) in GetEpsilonClosure()189 final StateSet aClosure = new StateSet(aSet); in GetEpsilonClosure()220 private Map<String, Vector<Transition>> GetTransitionFront (final StateSet aSet) in GetTransitionFront()[all …]
34 public class StateSet class35 implements Comparable<StateSet>37 public StateSet () in StateSet() method in StateSet45 public StateSet (final State aState) in StateSet() method in StateSet54 public StateSet (final StateSet aSet) in StateSet() method in StateSet63 public StateSet (final Iterable<State> aStates) in StateSet() method in StateSet81 public void AddStates (final StateSet aStates) in AddStates()89 public boolean IsDisjoint (final StateSet aOther) in IsDisjoint()202 public int compareTo (final StateSet aOther) in compareTo()
158 XAccessibleStateSet StateSet = cont.getAccessibleStateSet(); in createTestEnvironment() local159 if (StateSet.contains((short)27)) { in createTestEnvironment()
46 typedef ::std::set< WizardTypes::WizardState > StateSet; typedef68 StateSet aDisabledStates;