boolean function ( ) { return getSCCs ( ) . getGraphIsDisjoint ( ) ; }
returns true if the nba is disjoint , i.e. , there are states that are not reachable from the initial state concode_field_sep MyBitSet _accepting_true_loops concode_elem_sep NBA _nba concode_elem_sep Vector<MyBitSet> _reachability concode_elem_sep MyBitSet _allSuccAccepting concode_elem_sep SCCs _sccs concode_field_sep MyBitSet getFinalStates concode_elem_sep SCCs getSCCs concode_elem_sep Vector<MyBitSet> getReachability concode_elem_sep void calculateAcceptingTrueLoops concode_elem_sep MyBitSet getStatesWithAcceptingTrueLoops concode_elem_sep void calculateStatesWithAllSuccAccepting concode_elem_sep boolean emptinessCheck concode_elem_sep MyBitSet getStatesWithAllSuccAccepting concode_elem_sep boolean areAllStatesFinal