Interface LogicStructure

    • Method Summary

      Modifier and Type Method Description
      <C extends Term<?>>
      boolean
      containsTermsOfType​(java.lang.Class<C> cls)
      Checks if this logical structure contains at least one term of type C.
      java.util.Set<Term<?>> getTerms()  
      <C extends Term<?>>
      java.util.Set<C>
      getTerms​(java.lang.Class<C> cls)
      Processes the set containing all terms of type C.
    • Method Detail

      • getTerms

        java.util.Set<Term<?>> getTerms()
        Returns:
        a set containing all terms of this logical structure
      • getTerms

        <C extends Term<?>> java.util.Set<C> getTerms​(java.lang.Class<C> cls)
        Processes the set containing all terms of type C. This method uses the equals method of the given Class and therefore does not add terms which are sub classes of type C to the set.
        Type Parameters:
        C - the type of terms
        Parameters:
        cls - The Class structure containing type information about the searched term
        Returns:
        A set containing all terms of type C of this logical structure
      • containsTermsOfType

        <C extends Term<?>> boolean containsTermsOfType​(java.lang.Class<C> cls)
        Checks if this logical structure contains at least one term of type C. This method is a shortcut for !getTerms(TermImplementation.class).isEmpty().
        Type Parameters:
        C - the type of terms
        Parameters:
        cls - The class structure representing the type C of the term.
        Returns:
        True if this logical structure contains at least one term of type C or false otherwise.