Package org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Class RpclProbabilityDistributionParser

java.lang.Object

org.tweetyproject.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 org.tweetyproject.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, FolSignature signature)

Method Summary

Modifier and Type	Method	Description
static final void	disable_tracing()
static final RpclProbabilityDistribution	Distribution(RpclSemantics semantics, FolSignature signature)
static final void	enable_tracing()
static ParseException	generateParseException()
static final Token	getNextToken()
static final Token	getToken(int index)
static final FolAtom	GroundAtom(FolSignature signature)
RpclProbabilityDistribution	parseProbabilityDistribution(Reader reader)
static final Pair<HerbrandInterpretation,Probability>	ProbabilityAssignment(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(FolSignature signature)

Methods inherited from class java.lang.Object

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

Field Details

token_source

public static RpclProbabilityDistributionParserTokenManager token_source

token

public static Token token

jj_nt

public static Token jj_nt

Constructor Details

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser()

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclSemantics semantics)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclSemantics semantics,
 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 Details

setSemantics

public void setSemantics(RpclSemantics semantics)

setSignature

public void setSignature(FolSignature signature)

parseProbabilityDistribution

public RpclProbabilityDistribution parseProbabilityDistribution(Reader reader)
                                                         throws ParserException

Throws:

ParserException

Distribution

public static final RpclProbabilityDistribution Distribution(RpclSemantics semantics,
 FolSignature signature)
                                                      throws ParseException

Throws:

ParseException

ProbabilityAssignment

public static final Pair<HerbrandInterpretation,Probability> ProbabilityAssignment(FolSignature signature)
                                                                            throws ParseException

Throws:

ParseException

GroundAtom

public static final FolAtom GroundAtom(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()