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 java.lang.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(java.io.InputStream stream)
RpclProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
RpclProbabilityDistributionParser(java.io.Reader stream)
RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager tm)
RpclProbabilityDistributionParser(RpclSemantics semantics)
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

Method Summary

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

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(java.io.InputStream stream)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(java.io.InputStream stream,
                                         java.lang.String encoding)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(java.io.Reader stream)

RpclProbabilityDistributionParser

public RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager tm)

Method Detail

setSemantics

public void setSemantics(RpclSemantics semantics)

setSignature

public void setSignature(FolSignature signature)

parseProbabilityDistribution

public RpclProbabilityDistribution parseProbabilityDistribution(java.io.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(java.io.InputStream stream)

ReInit

public static void ReInit(java.io.InputStream stream,
                          java.lang.String encoding)

ReInit

public static void ReInit(java.io.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()