Package 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 java.lang.Object
implements RpclCondensedProbabilityDistributionParserConstants

Field Summary

Fields

Modifier and Type	Field	Description
static Token	jj_nt
static Token	token
static RpclCondensedProbabilityDistributionParserTokenManager	token_source

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

DEFAULT, EOF, MULTIPLICATOR, PROBABILITY, STRUCTURENAME, tokenImage

Constructor Summary

Constructors

Constructor	Description
RpclCondensedProbabilityDistributionParser()
RpclCondensedProbabilityDistributionParser(java.io.InputStream stream)
RpclCondensedProbabilityDistributionParser(java.io.InputStream stream, java.lang.String encoding)
RpclCondensedProbabilityDistributionParser(java.io.Reader stream)
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

Method Summary

Modifier and Type	Method	Description
static java.util.Set<Constant>	ConstantSet(FolSignature signature)
static void	disable_tracing()
static CondensedProbabilityDistribution	Distribution(RpclSemantics semantics, FolSignature signature)
static void	enable_tracing()
static ParseException	generateParseException()
static Token	getNextToken()
static Token	getToken(int index)
static InstanceAssignment	InstanceAssignment(FolSignature signature)
static ReferenceWorld	Interpretation(FolSignature signature)
CondensedProbabilityDistribution	parseCondensedProbabilityDistribution(java.io.Reader reader)
static Pair<ReferenceWorld,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(RpclCondensedProbabilityDistributionParserTokenManager 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 RpclCondensedProbabilityDistributionParserTokenManager token_source

token

public static Token token

jj_nt

public static Token jj_nt

Constructor Detail

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser()

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics,
                                                  FolSignature signature)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(java.io.InputStream stream)

RpclCondensedProbabilityDistributionParser

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

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(java.io.Reader stream)

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)

Method Detail

setSemantics

public void setSemantics(RpclSemantics semantics)

setSignature

public void setSignature(FolSignature signature)

parseCondensedProbabilityDistribution

public CondensedProbabilityDistribution parseCondensedProbabilityDistribution(java.io.Reader reader)
                                                                       throws ParserException

Throws:

ParserException

Distribution

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

Throws:

ParseException

ProbabilityAssignment

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

Throws:

ParseException

Interpretation

public static final ReferenceWorld Interpretation(FolSignature signature)
                                           throws ParseException

Throws:

ParseException

InstanceAssignment

public static final InstanceAssignment InstanceAssignment(FolSignature signature)
                                                   throws ParseException

Throws:

ParseException

ConstantSet

public static final java.util.Set<Constant> ConstantSet(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(RpclCondensedProbabilityDistributionParserTokenManager 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()