Class ParsingEntry.CEntry

    • Constructor Detail

      • CEntry

        public CEntry()
    • Method Detail

      • vars

        public XVariables.XVar[] vars()
        Returns the set of variables involved in this element.
      • subjectToAbstraction

        public abstract boolean subjectToAbstraction()
        Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).