Class RpclProbabilityDistributionParser
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
-
- All Implemented Interfaces:
RpclProbabilityDistributionParserConstants
public class RpclProbabilityDistributionParser extends java.lang.Object implements RpclProbabilityDistributionParserConstants
-
-
Field Summary
Fields Modifier and Type Field Description static Token
jj_nt
static Token
token
static RpclProbabilityDistributionParserTokenManager
token_source
-
Fields inherited from interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
DEFAULT, EOF, PROBABILITY, STRUCTURENAME, tokenImage
-
-
Constructor Summary
Constructors Constructor Description RpclProbabilityDistributionParser()
RpclProbabilityDistributionParser(java.io.InputStream stream)
RpclProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
RpclProbabilityDistributionParser(java.io.Reader stream)
RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager tm)
RpclProbabilityDistributionParser(RpclSemantics semantics)
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
Method Summary
Modifier and Type Method Description static void
disable_tracing()
static RpclProbabilityDistribution
Distribution(RpclSemantics semantics, FolSignature signature)
static void
enable_tracing()
static ParseException
generateParseException()
static Token
getNextToken()
static Token
getToken(int index)
static FolAtom
GroundAtom(FolSignature signature)
RpclProbabilityDistribution
parseProbabilityDistribution(java.io.Reader reader)
static Pair<HerbrandInterpretation,Probability>
ProbabilityAssignment(FolSignature signature)
static void
ReInit(java.io.InputStream stream)
static void
ReInit(java.io.InputStream stream, java.lang.String encoding)
static void
ReInit(java.io.Reader stream)
void
ReInit(RpclProbabilityDistributionParserTokenManager tm)
void
setSemantics(RpclSemantics semantics)
void
setSignature(FolSignature signature)
-
-
-
Field Detail
-
token_source
public static RpclProbabilityDistributionParserTokenManager token_source
-
token
public static Token token
-
jj_nt
public static Token jj_nt
-
-
Constructor Detail
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser()
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(RpclSemantics semantics)
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(java.io.InputStream stream)
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(java.io.Reader stream)
-
RpclProbabilityDistributionParser
public RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager tm)
-
-
Method Detail
-
setSemantics
public void setSemantics(RpclSemantics semantics)
-
setSignature
public void setSignature(FolSignature signature)
-
parseProbabilityDistribution
public RpclProbabilityDistribution parseProbabilityDistribution(java.io.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
public static final FolAtom GroundAtom(FolSignature signature) throws ParseException
- Throws:
ParseException
-
ReInit
public static void ReInit(java.io.InputStream stream)
-
ReInit
public static void ReInit(java.io.InputStream stream, java.lang.String encoding)
-
ReInit
public static void ReInit(java.io.Reader stream)
-
ReInit
public void ReInit(RpclProbabilityDistributionParserTokenManager tm)
-
getNextToken
public static final Token getNextToken()
-
getToken
public static final Token getToken(int index)
-
generateParseException
public static ParseException generateParseException()
-
enable_tracing
public static final void enable_tracing()
-
disable_tracing
public static final void disable_tracing()
-
-