RabinAcceptance function ( ) { return _acceptance ; }
return reference to the acceptance condition for this automaton . concode_field_sep Vector<DA_State> _index concode_elem_sep RabinAcceptance _acceptance concode_elem_sep String _comment concode_elem_sep DA_State _start_state concode_elem_sep APSet _ap_set concode_elem_sep boolean _is_compact concode_field_sep boolean isCompact concode_elem_sep void setStartState concode_elem_sep void printDot concode_elem_sep APSet getAPSet concode_elem_sep int getIndexForState concode_elem_sep DA newInstance concode_elem_sep void switchAPSet concode_elem_sep int getAPSize concode_elem_sep void makeCompact concode_elem_sep Iterator<DA_State> iterator concode_elem_sep void print concode_elem_sep int size concode_elem_sep DA_State getStartState concode_elem_sep DA_State get concode_elem_sep void printHOA concode_elem_sep void setComment concode_elem_sep String getComment concode_elem_sep void constructEmpty concode_elem_sep DA_State newState