JDDNode function ( ) { JDD . Ref ( goalStates ) ; return goalStates ; }
get a referenced copy of the state set of the goal states . refs : result , derefs : none concode_field_sep JDDNode goalStates concode_field_sep String getTypeAbbreviated concode_elem_sep String getSizeStatistics concode_elem_sep void setGoalStates concode_elem_sep boolean isBSCCAccepting concode_elem_sep AcceptanceType getType concode_elem_sep void clear concode_elem_sep String getTypeName