void function ( ) { HashSet < Generator > loc0 = new HashSet < Generator > ( ) ; if ( runCompletionCheck ( loc0 ) != LFlag . LIVE ) { postCompletionCheckScan ( loc0 ) ; } }
check for deadlocked states where none of the generators we are indirectly dependent on can run . concode_field_sep ArrayList<Object> results concode_elem_sep Set<ConsumerChoicePointFrame> generatingCPs concode_elem_sep boolean checkReadyNeeded concode_elem_sep TriplePattern goal concode_elem_sep Set<ConsumerChoicePointFrame> consumingCPs concode_elem_sep boolean isSingleton concode_elem_sep LPInterpreter interpreter concode_elem_sep String label concode_elem_sep Set<Object> resultSet concode_elem_sep LFlag DEAD concode_elem_sep LFlag LIVE concode_elem_sep LFlag UNKNOWN concode_elem_sep LFlag completionState concode_elem_sep boolean isReady concode_field_sep void setReady concode_elem_sep void addConsumer concode_elem_sep void removeConsumer concode_elem_sep boolean isReady concode_elem_sep void notifyResults concode_elem_sep int numResults concode_elem_sep void setComplete concode_elem_sep void notifyFinished concode_elem_sep Generator getGenerator concode_elem_sep void propagateLive concode_elem_sep void postCompletionCheckScan concode_elem_sep String toString concode_elem_sep void pump concode_elem_sep void pump concode_elem_sep LFlag runCompletionCheck concode_elem_sep boolean isComplete concode_elem_sep void notifyBlockedOn