Interface SimpleLogicalFormula

    • Method Detail

      • getAtoms

        java.util.Set<? extends Atom> getAtoms()
        Processes the set of all atoms which appear in this formula
        Returns:
        The set of all atoms
      • getPredicates

        java.util.Set<? extends Predicate> getPredicates()
        Processes the set of all predicates which appear in this formula
        Returns:
        all predicates that appear in this formula
      • getPredicateCls

        java.lang.Class<? extends Predicate> getPredicateCls()
        Returns:
        The class description of the predicate used by this formula.
      • isLiteral

        boolean isLiteral()
        Returns:
        true if the formula represents a literal in the language or false otherwise
      • hashCode

        int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • clone

        SimpleLogicalFormula clone()
        Creates a deep copy of this formula
        Returns:
        the cloned formula