Class GroundingRequirementsParser


  • public class GroundingRequirementsParser
    extends java.lang.Object
    This class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*
    Author:
    Sebastian Homann
    • 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