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 Description

GroundingRequirementsParser()

Method Summary

Modifier and Type	Method	Description
`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
equals, 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 string
    
    variables - 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 requirement
    
    variables - a set of variables
    
    Returns:
    
    the parsed grounding requirement.
    
    Throws:
    
    ParserException - if parsing fails