Class GroundingRequirementsParser
- java.lang.Object
 - 
- org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
 
 
- 
public class GroundingRequirementsParser extends java.lang.ObjectThis class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*- Author:
 - Sebastian Homann
 
 
- 
- 
Constructor Summary
Constructors Constructor Description GroundingRequirementsParser() 
- 
Method Summary
Modifier and Type Method Description GroundingRequirementparseRequirement(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)* 
 - 
 
- 
- 
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 stringvariables- A set of variables which are allowed in these requirements.- Returns:
 - The set of grounding requirements parsed from the given string.
 - Throws:
 ParserException- if parsing fails
 
- 
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 requirementvariables- a set of variables- Returns:
 - the parsed grounding requirement.
 - Throws:
 ParserException- if parsing fails
 
 - 
 
 -