Package 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

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
static void	disable_tracing()
static RpclProbabilityDistribution	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 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)
static void	ReInit(InputStream stream, String encoding)
static void	ReInit(Reader stream)
void	ReInit(RpclProbabilityDistributionParserTokenManager 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 RpclProbabilityDistributionParserTokenManager token_source

token

public static Token token

jj_nt

public static Token jj_nt

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)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(InputStream stream,
                                         String encoding)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(Reader stream)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager tm)

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)

ReInit

public static void ReInit(InputStream stream,
                          String encoding)

ReInit

public static void ReInit(Reader stream)

ReInit

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