Class ASPLiteral

    • Constructor Detail

      • ASPLiteral

        public ASPLiteral()
    • Method Detail

      • cloneWithAddedTerm

        public abstract ASPLiteral cloneWithAddedTerm​(Term<?> term)
        Creates a copy of the literal and adds the given term as argument to the end of the argument list.
        Parameters:
        term - the new argument.
        Returns:
        A copy of the literal containing the given term as new argument.
      • getAtom

        public abstract ASPAtom getAtom()
        Returns:
        The atom representing the literal.
      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface SimpleLogicalFormula
        Returns:
        true if the formula represents a literal in the language or false otherwise