kernel/src/main/java/org/kframework/parser/inner/kernel/EarleyParser.java
/**
     * @return true if the production is the production for MInt literals, false otherwise.
     */
@return true if the production is the production for MInt literals, false otherwise.
@return true if the production is the production for MInt literals false otherwise .
public boolean isMInt() {
      Boolean isMInt = this.isMInt;
      if (isMInt == null) {
        isMInt = prod.att().getOptional(Att.HOOK()).orElse("").equals("MINT.literal");
        this.isMInt = isMInt;
      }
      return isMInt;
    }
public boolean isMInt ( ) { Boolean isMInt = this . isMInt ; if ( isMInt == null ) { isMInt = prod . att ( ) . getOptional ( Att . HOOK ( ) ) . orElse ( "" ) . equals ( "MINT.literal" ) ; this . isMInt = isMInt ; } return isMInt ; }
@return true if the production is the production for MInt literals, false otherwise.
@return true if the production is the production for MInt literals false otherwise .