get a vector with a topological order of the states concode_field_sep Vector<Integer> _topological_order concode_elem_sep Vector<MyBitSet> _dag concode_elem_sep Vector<Integer> _state_to_scc concode_elem_sep Vector<MyBitSet> _reachability concode_elem_sep boolean _graph_is_disjoint concode_elem_sep Vector<MyBitSet> _sccs concode_field_sep void print concode_elem_sep boolean isReachable concode_elem_sep boolean getGraphIsDisjoint concode_elem_sep int addSCC concode_elem_sep MyBitSet get concode_elem_sep MyBitSet successors concode_elem_sep boolean stateIsReachable concode_elem_sep Vector<MyBitSet> getReachabilityForAllStates concode_elem_sep void setGraphIsDisjoint concode_elem_sep void setState2SCC concode_elem_sep int state2scc concode_elem_sep int countSCCs
Vector < Integer > function ( ) { return _topological_order ; }