net.sf.tweety.action.grounding.parser

Class GroundingRequirementsParser

java.lang.Object

net.sf.tweety.action.grounding.parser.GroundingRequirementsParser

public class GroundingRequirementsParser
extends java.lang.Object

This class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor and Description
GroundingRequirementsParser()

Method Summary

Modifier and Type	Method and Description
private Constant	getConstant(java.lang.String name, Sort sort) Returns the constant with the name 'name' of the sort 'sort', if one exists, null otherwise.
GroundingRequirement	parseRequirement(java.lang.String s, java.util.Set<Variable> variables) Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.
java.util.Set<GroundingRequirement>	parseRequirements(java.lang.String s, java.util.Set<Variable> variables) Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundingRequirementsParser

public GroundingRequirementsParser()

Method Detail

parseRequirements

public java.util.Set<GroundingRequirement> parseRequirements(java.lang.String s,
                                                             java.util.Set<Variable> variables)
                                                      throws ParserException

Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

Parameters:

s - A set of variables which are allowed in these requirements.

Returns:

The set of grounding requirements parsed from the given string.

Throws:

ParserException

parseRequirement

public GroundingRequirement parseRequirement(java.lang.String s,
                                             java.util.Set<Variable> variables)
                                      throws ParserException

Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.

Parameters:

s - a string containing a single requirement

Returns:

the parsed grounding requirement.

Throws:

ParserException

getConstant

private Constant getConstant(java.lang.String name,
                             Sort sort)

Returns the constant with the name 'name' of the sort 'sort', if one exists, null otherwise.

Parameters:

name - some constant name represented by a string

sort - the sort of that constant

Returns:

The constant with the name 'name' of the sort 'sort', if one exists, null otherwise.