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

This class implements a parser for condensed relational probability distributions. The BNF for condensed relational probability distributions is given by (start symbol is DISTRIBUTION)

DISTRIBUTION ::== (PROBABILITYASSIGNMENT)*
PROBABILITYASSIGNMENT ::== INTERPRETATION "=" PROBABILITY
INTERPRETATION ::== "{" (INSTANCEASSIGNMENT ("," INSTANCEASSIGNMENT)*)? "}"
INSTANCEASSIGNMENT ::== "<" PREDICATE "," "{" (CONSTANTSET "=" MULTIPLICATOR ("," CONSTANTSET "=" MULTIPLICATOR)*)? "}" ">"
CONSTANTSET ::== "{" CONSTANT ("," CONSTANT)* "}"

PREDICATE is a sequence of symbols from {a,...,z,A,...,Z,0,...,9} with a lowercase letter at the beginning.

CONSTANT is a sequence of symbols from {a,...,z,A,...,Z,0,...,9} with a lowercase letter at the beginning.

MULTIPLICATOR is a natural number.

Field Summary

Fields

Modifier and Type	Field and Description
static Token	jj_nt Next token.
static Token	token Current token.
static RpclCondensedProbabilityDistributionParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

DEFAULT, EOF, MULTIPLICATOR, PROBABILITY, STRUCTURENAME, tokenImage

Constructor Summary

Constructors

Constructor and Description
RpclCondensedProbabilityDistributionParser()
RpclCondensedProbabilityDistributionParser(InputStream stream) Constructor with InputStream.
RpclCondensedProbabilityDistributionParser(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
RpclCondensedProbabilityDistributionParser(Reader stream) Constructor.
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm) Constructor with generated Token Manager.
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature)

Method Summary

Modifier and Type	Method and Description
static Set<net.sf.tweety.logics.commons.syntax.Constant>	ConstantSet(net.sf.tweety.logics.fol.syntax.FolSignature signature)
static void	disable_tracing() Disable tracing.
static CondensedProbabilityDistribution	Distribution(RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature)
static void	enable_tracing() Enable tracing.
static ParseException	generateParseException() Generate ParseException.
static Token	getNextToken() Get the next Token.
static Token	getToken(int index) Get the specific Token.
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) Reinitialise.
static void	ReInit(InputStream stream, String encoding) Reinitialise.
static void	ReInit(Reader stream) Reinitialise.
void	ReInit(RpclCondensedProbabilityDistributionParserTokenManager tm) Reinitialise.
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

Generated Token Manager.

token

public static Token token

Current token.

jj_nt

public static Token jj_nt

Next token.

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)

Constructor with InputStream.

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(InputStream stream,
                                                  String encoding)

Constructor with InputStream and supplied encoding

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(Reader stream)

Constructor.

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)

Constructor with generated Token Manager.

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)

Reinitialise.

ReInit

public static void ReInit(InputStream stream,
                          String encoding)

Reinitialise.

ReInit

public static void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(RpclCondensedProbabilityDistributionParserTokenManager tm)

Reinitialise.

getNextToken

public static final Token getNextToken()

Get the next Token.

getToken

public static final Token getToken(int index)

Get the specific Token.

generateParseException

public static ParseException generateParseException()

Generate ParseException.

enable_tracing

public static final void enable_tracing()

Enable tracing.

disable_tracing

public static final void disable_tracing()

Disable tracing.