Class RpclProbabilityDistributionParser
java.lang.Object
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- All Implemented Interfaces:
RpclProbabilityDistributionParserConstants
public class RpclProbabilityDistributionParser
extends Object
implements RpclProbabilityDistributionParserConstants
-
Field Summary
Fields inherited from interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
DEFAULT, EOF, PROBABILITY, STRUCTURENAME, tokenImage
-
Constructor Summary
ConstructorDescriptionRpclProbabilityDistributionParser(InputStream stream, String encoding)
RpclProbabilityDistributionParser(Reader stream)
RpclProbabilityDistributionParser(RpclSemantics semantics)
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
static RpclProbabilityDistribution
Distribution(RpclSemantics semantics, FolSignature signature)
static void
static ParseException
static Token
static Token
getToken(int index)
static FolAtom
GroundAtom(FolSignature signature)
parseProbabilityDistribution(Reader reader)
static Pair<HerbrandInterpretation,Probability>
ProbabilityAssignment(FolSignature signature)
static void
ReInit(InputStream stream)
static void
ReInit(InputStream stream, String encoding)
static void
void
void
setSemantics(RpclSemantics semantics)
void
setSignature(FolSignature signature)
-
Field Details
-
token_source
-
token
-
jj_nt
-
-
Constructor Details
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser() -
RpclProbabilityDistributionParser
-
RpclProbabilityDistributionParser
-
RpclProbabilityDistributionParser
-
RpclProbabilityDistributionParser
-
RpclProbabilityDistributionParser
-
RpclProbabilityDistributionParser
-
-
Method Details
-
setSemantics
-
setSignature
-
parseProbabilityDistribution
public RpclProbabilityDistribution parseProbabilityDistribution(Reader reader) throws ParserException- Throws:
ParserException
-
Distribution
public static final RpclProbabilityDistribution Distribution(RpclSemantics semantics, FolSignature signature) throws ParseException- Throws:
ParseException
-
ProbabilityAssignment
public static final Pair<HerbrandInterpretation,Probability> ProbabilityAssignment(FolSignature signature) throws ParseException- Throws:
ParseException
-
GroundAtom
- Throws:
ParseException
-
ReInit
-
ReInit
-
ReInit
-
ReInit
-
getNextToken
-
getToken
-
generateParseException
-
enable_tracing
public static final void enable_tracing() -
disable_tracing
public static final void disable_tracing()
-