Class LogicStructure


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

      Constructors 
      Constructor Description
      LogicStructure()  
    • Method Summary

      Modifier and Type Method Description
      boolean containsFunctionalTerms()
      Checks whether this structure contains any functional terms.
      abstract java.util.Set<Constant> getConstants()
      Returns all constants that appear in this structure.
      abstract java.util.Set<FunctionalTerm> getFunctionalTerms()
      Returns all functional terms that appear in this structure.
      abstract java.util.Set<Functor> getFunctors()
      Returns all functors that appear in this structure.
      abstract java.util.Set<Variable> getVariables()
      Returns all variables that appear in this structure.
      abstract java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • LogicStructure

        public LogicStructure()
    • Method Detail

      • getConstants

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

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

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

        public abstract java.util.Set<FunctionalTerm> getFunctionalTerms()
        Returns all functional terms that appear in this structure.
        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 java.lang.String toString()
        Overrides:
        toString in class java.lang.Object