Package org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class RpclCondensedProbabilityDistributionParser

java.lang.Object

org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

All Implemented Interfaces:

RpclCondensedProbabilityDistributionParserConstants

public class RpclCondensedProbabilityDistributionParser
extends Object
implements RpclCondensedProbabilityDistributionParserConstants

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

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

MULTIPLICATOR is a natural number.

Field Summary

Fields

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

Fields inherited from interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

DEFAULT, EOF, MULTIPLICATOR, PROBABILITY, STRUCTURENAME, tokenImage

Constructor Summary

Constructors

Constructor	Description
RpclCondensedProbabilityDistributionParser()	Cnnstructor
RpclCondensedProbabilityDistributionParser(InputStream stream)	Constructor for RpclCondensedProbabilityDistributionParser that takes an InputStream as input.
RpclCondensedProbabilityDistributionParser(InputStream stream, String encoding)	Constructs a new RpclCondensedProbabilityDistributionParser using the specified input stream and character encoding.
RpclCondensedProbabilityDistributionParser(Reader stream)	Constructor.
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)	Constructor with generated Token Manager.
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)	Constructor
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)	Constructor

Method Summary

Modifier and Type	Method	Description
static final Set<Constant>	ConstantSet(FolSignature signature)	Parses a set of constants from the input and adds them to the specified FolSignature.
static final void	disable_tracing()	Disable tracing.
static final CondensedProbabilityDistribution	Distribution(RpclSemantics semantics, FolSignature signature)	Create a distribution
static final void	enable_tracing()	Enable tracing.
static ParseException	generateParseException()	Generate ParseException.
static final Token	getNextToken()	Retrieves the next token from the input stream.
static final Token	getToken(int index)	Get the specific Token.
static final InstanceAssignment	InstanceAssignment(FolSignature signature)	Parses an InstanceAssignment from the input stream.
static final ReferenceWorld	Interpretation(FolSignature signature)	Parses an Interpretation (specifically, a ReferenceWorld) from the input stream
CondensedProbabilityDistribution	parseCondensedProbabilityDistribution(Reader reader)	Return parsed CondensedProbabilityDistribution
static final Pair<ReferenceWorld,Probability>	ProbabilityAssignment(FolSignature signature)	Parses a probability assignment from the input stream.
static void	ReInit(InputStream stream)	Reinitializes the parser with a new input stream using the default character encoding.
static void	ReInit(InputStream stream, String encoding)	Reinitializes the parser with a new input stream and character encoding.
static void	ReInit(Reader stream)	Reinitialise
void	ReInit(RpclCondensedProbabilityDistributionParserTokenManager tm)	Reinitialise.
void	setSemantics(RpclSemantics semantics)	setter semantics
void	setSignature(FolSignature signature)	setter signature

Methods inherited from class java.lang.Object

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

Field Details

token_source

public static RpclCondensedProbabilityDistributionParserTokenManager token_source

Generated Token Manager.

token

public static Token token

Current token.

jj_nt

public static Token jj_nt

Next token.

Constructor Details

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser()

Cnnstructor

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics)

Constructor

Parameters:

semantics - a semantics

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclSemantics semantics,
 FolSignature signature)

Constructor

Parameters:

semantics - a semantics

signature - a signature

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(InputStream stream)

Constructor for RpclCondensedProbabilityDistributionParser that takes an InputStream as input.

Parameters:

stream - The input stream to be parsed.

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(InputStream stream,
 String encoding)

Constructs a new RpclCondensedProbabilityDistributionParser using the specified input stream and character encoding.

Parameters:

stream - The input stream to be parsed.

encoding - The character encoding to be used for reading the input stream.

Throws:

RuntimeException - If the specified encoding is unsupported.

Error - If this constructor is called more than once when the JavaCC STATIC option is enabled.

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(Reader stream)

Constructor.

Parameters:

stream - the reader

RpclCondensedProbabilityDistributionParser

public RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager tm)

Constructor with generated Token Manager.

Parameters:

tm - the tokenmanager

Method Details

setSemantics

public void setSemantics(RpclSemantics semantics)

setter semantics

Parameters:

semantics - the semantics

setSignature

public void setSignature(FolSignature signature)

setter signature

Parameters:

signature - the signature

parseCondensedProbabilityDistribution

public CondensedProbabilityDistribution parseCondensedProbabilityDistribution(Reader reader)
                                                                       throws ParserException

Return parsed CondensedProbabilityDistribution

Parameters:

reader - the reader

Returns:

parsed CondensedProbabilityDistribution

Throws:

ParserException - parse exception

Distribution

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

Create a distribution

Parameters:

semantics - the semantics

signature - the signiture

Returns:

a distribution

Throws:

ParseException - error

ProbabilityAssignment

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

Parses a probability assignment from the input stream.

This method processes a ReferenceWorld followed by a probability value (which could either be a probability or a multiplicator). The method combines the parsed ReferenceWorld with the probability and returns them as a Pair.

Parameters:

signature - The FolSignature to which the constants in the ReferenceWorld belong. If a constant is not found in the signature, it is added to it.

Returns:

A Pair containing the parsed ReferenceWorld and its associated Probability.

Throws:

ParseException - If there is an error during the parsing process.

Interpretation

public static final ReferenceWorld Interpretation(FolSignature signature)
                                           throws ParseException

Parses an Interpretation (specifically, a ReferenceWorld) from the input stream

Parameters:

signature - The FolSignature to which the parsed constants and predicates belong. If a constant or predicate is not found in the signature, it is added to it.

Returns:

A ReferenceWorld that contains the predicates and their instance assignments.

Throws:

ParseException - If there is an error during the parsing process.

InstanceAssignment

public static final InstanceAssignment InstanceAssignment(FolSignature signature)
                                                   throws ParseException

Parses an InstanceAssignment from the input stream.

This method processes the predicate, constants, and multiplicators, and constructs an InstanceAssignment. The predicate is either retrieved from the given FolSignature if it exists, or a new one is created and added to the signature. The method then parses multiple sets of constants and their associated multiplicators, adding them to the InstanceAssignment.

Parameters:

signature - The FolSignature to which the constants and predicates belong. If a constant or predicate is not found in the signature, it is added to it.

Returns:

An InstanceAssignment containing the parsed predicate and associated constants with their multiplicators.

Throws:

ParseException - If there is an error during the parsing process.

ConstantSet

public static final Set<Constant> ConstantSet(FolSignature signature)
                                       throws ParseException

Parses a set of constants from the input and adds them to the specified FolSignature.

Parameters:

signature - The FolSignature to which the constants belong. If a constant is not found in the signature, it is added to it.

Returns:

A Set of Constant objects that were parsed from the input.

Throws:

ParseException - If there is an error during the parsing process.

ReInit

public static void ReInit(InputStream stream)

Reinitializes the parser with a new input stream using the default character encoding.

Parameters:

stream - The new input stream for the parser.

See Also:

• ReInit(InputStream, String) for more control over encoding.

ReInit

public static void ReInit(InputStream stream,
 String encoding)

Reinitializes the parser with a new input stream and character encoding.

Parameters:

stream - The new input stream for the parser.

encoding - The character encoding of the input stream.

Throws:

RuntimeException - If the specified encoding is not supported.

ReInit

public static void ReInit(Reader stream)

Reinitialise

Parameters:

stream - the reader

ReInit

public void ReInit(RpclCondensedProbabilityDistributionParserTokenManager tm)

Reinitialise.

Parameters:

tm - the tokenmanager

getNextToken

public static final Token getNextToken()

Retrieves the next token from the input stream.

Returns:

the next Token in the input stream

getToken

public static final Token getToken(int index)

Get the specific Token.

Parameters:

index - the index

Returns:

the token

generateParseException

public static ParseException generateParseException()

Generate ParseException.

Returns:

a ParseException

enable_tracing

public static final void enable_tracing()

Enable tracing.

disable_tracing

public static final void disable_tracing()

Disable tracing.