kernel/src/main/java/org/kframework/parser/inner/kernel/EarleyParser.java
/**
     * @return true if the production should have a klabel, false otherwise.
     */
@return true if the production should have a klabel, false otherwise.
@return true if the production should have a klabel false otherwise .
public boolean needsLabel() {
      Boolean needsLabel = this.needsLabel;
      if (needsLabel == null) {
        needsLabel = prod.klabel().isDefined() || !prod.isSyntacticSubsort();
        this.needsLabel = needsLabel;
      }
      return needsLabel;
    }
public boolean needsLabel ( ) { Boolean needsLabel = this . needsLabel ; if ( needsLabel == null ) { needsLabel = prod . klabel ( ) . isDefined ( ) || ! prod . isSyntacticSubsort ( ) ; this . needsLabel = needsLabel ; } return needsLabel ; }
@return true if the production should have a klabel, false otherwise.
@return true if the production should have a klabel false otherwise .