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 private static java.util.List<int[]>
jj_expentries
private static int[]
jj_expentry
private static int
jj_gen
private static boolean
jj_initialized_once
(package private) static SimpleCharStream
jj_input_stream
private static int
jj_kind
private static int[]
jj_la1
private static int[]
jj_la1_0
static Token
jj_nt
private static int
jj_ntk
private RpclSemantics
semantics
private FolSignature
signature
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)
private static Token
jj_consume_token(int kind)
private static void
jj_la1_init_0()
private static int
jj_ntk()
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
-
semantics
private RpclSemantics semantics
-
signature
private FolSignature signature
-
jj_initialized_once
private static boolean jj_initialized_once
-
token_source
public static RpclProbabilityDistributionParserTokenManager token_source
-
jj_input_stream
static SimpleCharStream jj_input_stream
-
token
public static Token token
-
jj_nt
public static Token jj_nt
-
jj_ntk
private static int jj_ntk
-
jj_gen
private static int jj_gen
-
jj_la1
private static final int[] jj_la1
-
jj_la1_0
private static int[] jj_la1_0
-
jj_expentries
private static java.util.List<int[]> jj_expentries
-
jj_expentry
private static int[] jj_expentry
-
jj_kind
private static int jj_kind
-
-
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
-
jj_la1_init_0
private static void jj_la1_init_0()
-
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)
-
jj_consume_token
private static Token jj_consume_token(int kind) throws ParseException
- Throws:
ParseException
-
getNextToken
public static final Token getNextToken()
-
getToken
public static final Token getToken(int index)
-
jj_ntk
private static int jj_ntk()
-
generateParseException
public static ParseException generateParseException()
-
enable_tracing
public static final void enable_tracing()
-
disable_tracing
public static final void disable_tracing()
-
-