Package org.tweetyproject.action.grounding.parser

Class GroundingRequirementsParser

java.lang.Object
org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
public class GroundingRequirementsParser extends Object
This class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*
Author:
Sebastian Homann

  • Constructor Details

    • GroundingRequirementsParser

      public GroundingRequirementsParser()

  • Method Details

    • parseRequirements

      public Set<GroundingRequirement> parseRequirements(String s, 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(String s, 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