Interface Literal

  • All Known Subinterfaces:
    Atom
    All Known Implementing Classes:
    Negation

    public interface Literal
    Author:
    Mathias Hofer
    • Method Summary

      Modifier and Type Method Description
      Atom getAtom()  
      boolean isPositive()  
      default Literal map​(java.util.function.Function<Argument,​Literal> argumentMapping, java.util.function.Function<Literal,​Literal> literalMapping)  
    • Method Detail

      • isPositive

        boolean isPositive()
      • getAtom

        Atom getAtom()