kernel/src/main/java/org/kframework/parser/inner/kernel/EarleyParser.java
/**
     * Combine the parse trees of two states.
     *
     * @param prevState The state to add new derivations to.
     * @param state The state that contains the derivations to add
     */
Combine the parse trees of two states.
@param prevState The state to add new derivations to.
@param state The state that contains the derivations to add
Combine the parse trees of two states . @param prevState The state to add new derivations to . @param state The state that contains the derivations to add
private void unionParseTree(EarleyState prevState, EarleyState state) {
      if (state.parseTree != null) {
        if (prevState.parseTree == null) {
          prevState.parseTree = state.parseTree;
        } else {
          prevState.parseTree.addAll(state.parseTree);
        }
      }
    }
private void unionParseTree ( EarleyState prevState , EarleyState state ) { if ( state . parseTree != null ) { if ( prevState . parseTree == null ) { prevState . parseTree = state . parseTree ; } else { prevState . parseTree . addAll ( state . parseTree ) ; } } }
Combine the parse trees of two states.
Combine the parse trees of two states .