Package org.tweetyproject.logics.commons.syntax.interfaces

Interface LogicStructure

All Known Subinterfaces:
ComplexLogicalFormula, QuantifiedFormula, Term<T>
All Known Implementing Classes:
AbaElement, AbaRule, AggregateAtom, AggregateElement, AggregateHead, ArithmeticTerm, ASPAtom, ASPBodyElement, ASPElement, ASPHead, ASPLiteral, ASPRule, AssociativeFolFormula, AssociativeFormulaSupport, Assumption, ChoiceElement, ChoiceHead, ClassicalHead, ComparativeAtom, ComplexLogicalFormulaAdapter, Conjunction, Constant, Contradiction, DefaultNegation, DefaultRule, DefeasibleInferenceRule, DefeasibleRule, DelpFact, DelpRule, Disjunction, Equivalence, ExclusiveDisjunction, ExistsQuantifiedFormula, FolAtom, FolFormula, ForallQuantifiedFormula, FunctionalTerm, Implication, Individual, InferenceRule, InferenceRule, MlFormula, MlnFormula, Necessity, Negation, Negation, NLPNot, NLPRule, NumberTerm, OptimizationElement, OptimizationStatement, Possibility, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, Sort, SpecialFormula, StrictInferenceRule, StrictNegation, StrictRule, StringTerm, Tautology, TermAdapter, Variable
public interface LogicStructure
This interface captures the common functionalities of formulas, sorts and terms. It allows to query for saved terms by using the type of the term it also forces sub classes to implement the toString() and clone() methods.
Author:
Tim Janus, Matthias Thimm

  • Method Summary

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

  • Method Details

    • getTerms

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

    • getTerms

      <C extends Term<?>> Set<C> getTerms​(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​(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.