public virtual void Reset() { //nfaConfigurations = null; // getGatedPredicatesInNFAConfigurations needs _configurationsWithLabeledEdges = null; _closureBusy = null; _reachableLabels = null; }