net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Class RpclProbabilityDistributionParser

java.lang.Object

net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

All Implemented Interfaces:

RpclProbabilityDistributionParserConstants

public class RpclProbabilityDistributionParser
extends Object
implements RpclProbabilityDistributionParserConstants

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

DISTRIBUTION ::== (PROBABILITYASSIGNMENT)*
PROBABILITYASSIGNMENT ::== INTERPRETATION "=" PROBABILITY
INTERPRETATION ::== "{" (GROUNDATOM ("," GROUNDATOM)*)? "}"
GROUNDATOM ::== PREDICATE ("(" 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.

PROBABILITY is a number in [0,1].

Field Summary

Fields

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

Fields inherited from interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants

DEFAULT, EOF, PROBABILITY, STRUCTURENAME, tokenImage

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static void	disable_tracing() Disable tracing.
static RpclProbabilityDistribution	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 net.sf.tweety.logics.fol.syntax.FOLAtom	GroundAtom(net.sf.tweety.logics.fol.syntax.FolSignature signature)
RpclProbabilityDistribution	parseProbabilityDistribution(Reader reader)
static net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation,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(RpclProbabilityDistributionParserTokenManager 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 RpclProbabilityDistributionParserTokenManager token_source

Generated Token Manager.

token

public static Token token

Current token.

jj_nt

public static Token jj_nt

Next token.

Constructor Detail

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser()

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclSemantics semantics)

RpclProbabilityDistributionParser

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

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(InputStream stream)

Constructor with InputStream.

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(InputStream stream,
                                         String encoding)

Constructor with InputStream and supplied encoding

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(Reader stream)

Constructor.

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager 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)

parseProbabilityDistribution

public RpclProbabilityDistribution parseProbabilityDistribution(Reader reader)
                                                         throws net.sf.tweety.commons.ParserException

Throws:

net.sf.tweety.commons.ParserException

Distribution

public static final RpclProbabilityDistribution 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<net.sf.tweety.logics.fol.semantics.HerbrandInterpretation,net.sf.tweety.math.probability.Probability> ProbabilityAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)
                                                                                                                                                                         throws ParseException

Throws:

ParseException

GroundAtom

public static final net.sf.tweety.logics.fol.syntax.FOLAtom GroundAtom(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(RpclProbabilityDistributionParserTokenManager 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.