Class RpclCondensedProbabilityDistributionParser
- java.lang.Object
-
- net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
-
- All Implemented Interfaces:
RpclCondensedProbabilityDistributionParserConstants
public class RpclCondensedProbabilityDistributionParser extends java.lang.Object implements RpclCondensedProbabilityDistributionParserConstants
-
-
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 RpclCondensedProbabilityDistributionParserTokenManager
token_source
-
Fields inherited from interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
DEFAULT, EOF, MULTIPLICATOR, PROBABILITY, STRUCTURENAME, tokenImage
-
-
Constructor Summary
Constructors Constructor Description RpclCondensedProbabilityDistributionParser()
RpclCondensedProbabilityDistributionParser(java.io.InputStream stream)
RpclCondensedProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
RpclCondensedProbabilityDistributionParser(java.io.Reader stream)
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
Method Summary
-
-
-
Field Detail
-
semantics
private RpclSemantics semantics
-
signature
private FolSignature signature
-
jj_initialized_once
private static boolean jj_initialized_once
-
token_source
public static RpclCondensedProbabilityDistributionParserTokenManager 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
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser()
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(java.io.InputStream stream)
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(java.io.Reader stream)
-
RpclCondensedProbabilityDistributionParser
public RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)
-
-
Method Detail
-
setSemantics
public void setSemantics(RpclSemantics semantics)
-
setSignature
public void setSignature(FolSignature signature)
-
parseCondensedProbabilityDistribution
public CondensedProbabilityDistribution parseCondensedProbabilityDistribution(java.io.Reader reader) throws ParserException
- Throws:
ParserException
-
Distribution
public static final CondensedProbabilityDistribution Distribution(RpclSemantics semantics, FolSignature signature) throws ParseException
- Throws:
ParseException
-
ProbabilityAssignment
public static final Pair<ReferenceWorld,Probability> ProbabilityAssignment(FolSignature signature) throws ParseException
- Throws:
ParseException
-
Interpretation
public static final ReferenceWorld Interpretation(FolSignature signature) throws ParseException
- Throws:
ParseException
-
InstanceAssignment
public static final InstanceAssignment InstanceAssignment(FolSignature signature) throws ParseException
- Throws:
ParseException
-
ConstantSet
public static final java.util.Set<Constant> ConstantSet(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(RpclCondensedProbabilityDistributionParserTokenManager 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()
-
-