Class LogicStructure

java.lang.Object
org.tweetyproject.logics.fol.syntax.LogicStructure

public abstract class LogicStructure extends Object
This abstract class captures the common functionalities of both formulas and terms.
Author:
Matthias Thimm
  • Constructor Details

    • LogicStructure

      public LogicStructure()
  • Method Details

    • getConstants

      public abstract Set<Constant> getConstants()
      Returns:
      all constants that appear in this structure.
    • getFunctors

      public abstract Set<Functor> getFunctors()
      Returns:
      all functors that appear in this structure.
    • getVariables

      public abstract Set<Variable> getVariables()
      Returns:
      all variables that appear in this structure.
    • getFunctionalTerms

      public abstract Set<FunctionalTerm> getFunctionalTerms()
      Returns:
      all functional terms that appear in this structure.
    • containsFunctionalTerms

      public boolean containsFunctionalTerms()
      Checks whether this structure contains any functional terms.
      Returns:
      "true" if this structure contains a functional term.
    • toString

      public abstract String toString()
      Overrides:
      toString in class Object