Class RpclCondensedProbabilityDistributionParserTokenManager

java.lang.Object
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
All Implemented Interfaces:
RpclCondensedProbabilityDistributionParserConstants

public class RpclCondensedProbabilityDistributionParserTokenManager extends Object implements RpclCondensedProbabilityDistributionParserConstants
  • Field Details

    • debugStream

      public static PrintStream debugStream
    • jjstrLiteralImages

      public static final String[] jjstrLiteralImages
    • lexStateNames

      public static final String[] lexStateNames
  • Constructor Details

    • RpclCondensedProbabilityDistributionParserTokenManager

      public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream)
    • RpclCondensedProbabilityDistributionParserTokenManager

      public RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream stream, int lexState)
  • Method Details

    • setDebugStream

      public static void setDebugStream(PrintStream ds)
    • ReInit

      public static void ReInit(SimpleCharStream stream)
    • ReInit

      public static void ReInit(SimpleCharStream stream, int lexState)
    • SwitchTo

      public static void SwitchTo(int lexState)
    • getNextToken

      public static Token getNextToken()