Searched refs:STRIP_NONREDUCED_STATES (Results 1 – 1 of 1) sorted by relevance
42 public static final boolean STRIP_NONREDUCED_STATES = false; field in DOTGenerator138 if ( STRIP_NONREDUCED_STATES ) { in walkCreatingDFADOT()