Package net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class RpclCondensedProbabilityDistributionParser

java.lang.Object

net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

All Implemented Interfaces:

RpclCondensedProbabilityDistributionParserConstants

public class RpclCondensedProbabilityDistributionParser
extends Object
implements RpclCondensedProbabilityDistributionParserConstants

Field Summary

Fields

Modifier and Type	Field	Description
static Token	jj_nt
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(InputStream stream)
RpclCondensedProbabilityDistributionParser(InputStream stream, String encoding)
RpclCondensedProbabilityDistributionParser(Reader stream)
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature)

Method Summary

Modifier and Type	Method	Description
static Set<net.sf.tweety.logics.commons.syntax.Constant>	ConstantSet(net.sf.tweety.logics.fol.syntax.FolSignature signature)
static void	disable_tracing()
static CondensedProbabilityDistribution	Distribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature)
static void	enable_tracing()
static ParseException	generateParseException()
static Token	getNextToken()
static Token	getToken(int index)
static InstanceAssignment	InstanceAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)
static ReferenceWorld	Interpretation(net.sf.tweety.logics.fol.syntax.FolSignature signature)
CondensedProbabilityDistribution	parseCondensedProbabilityDistribution(Reader reader)
static net.sf.tweety.commons.util.Pair<ReferenceWorld,net.sf.tweety.math.probability.Probability>	ProbabilityAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)
static void	ReInit(InputStream stream)
static void	ReInit(InputStream stream, String encoding)
static void	ReInit(Reader stream)
void	ReInit(RpclCondensedProbabilityDistributionParserTokenManager tm)
void	setSemantics(RpclSemantics semantics)
void	setSignature(net.sf.tweety.logics.fol.syntax.FolSignature signature)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

token_source

public static RpclCondensedProbabilityDistributionParserTokenManager token_source

token

public static Token token

jj_nt

public static Token jj_nt

Constructor Detail

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser()

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics,
                                                  net.sf.tweety.logics.fol.syntax.FolSignature signature)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(InputStream stream)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(InputStream stream,
                                                  String encoding)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(Reader stream)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)

Method Detail

setSemantics

public void setSemantics(RpclSemantics semantics)

setSignature

public void setSignature(net.sf.tweety.logics.fol.syntax.FolSignature signature)

parseCondensedProbabilityDistribution

public CondensedProbabilityDistribution parseCondensedProbabilityDistribution(Reader reader)
                                                                       throws net.sf.tweety.commons.ParserException

Throws:

net.sf.tweety.commons.ParserException

Distribution

public static final CondensedProbabilityDistribution Distribution(RpclSemantics semantics,
                                                                  net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                           throws ParseException

Throws:

ParseException

ProbabilityAssignment

public static final net.sf.tweety.commons.util.Pair<ReferenceWorld,net.sf.tweety.math.probability.Probability> ProbabilityAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                                                                                                    throws ParseException

Throws:

ParseException

Interpretation

public static final ReferenceWorld Interpretation(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                           throws ParseException

Throws:

ParseException

InstanceAssignment

public static final InstanceAssignment InstanceAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                   throws ParseException

Throws:

ParseException

ConstantSet

public static final Set<net.sf.tweety.logics.commons.syntax.Constant> ConstantSet(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                                           throws ParseException

Throws:

ParseException

ReInit

public static void ReInit(InputStream stream)

ReInit

public static void ReInit(InputStream stream,
                          String encoding)

ReInit

public static void ReInit(Reader stream)

ReInit

public void ReInit(RpclCondensedProbabilityDistributionParserTokenManager 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()