Package net.sf.tweety.logics.fol.syntax

Class LogicStructure

  • public abstract class LogicStructure
extends 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 Set<net.sf.tweety.logics.commons.syntax.Constant> getConstants()
      Returns all constants that appear in this structure.
      abstract Set<net.sf.tweety.logics.commons.syntax.FunctionalTerm> getFunctionalTerms()
      Returns all functional terms that appear in this structure.
      abstract Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()
      Returns all functors that appear in this structure.
      abstract Set<net.sf.tweety.logics.commons.syntax.Variable> getVariables()
      Returns all variables that appear in this structure.
      abstract String toString()  

    • Constructor Detail

      • LogicStructure

        public LogicStructure()

    • Method Detail

      • getConstants

        public abstract Set<net.sf.tweety.logics.commons.syntax.Constant> getConstants()
        Returns all constants that appear in this structure.
        Returns:
        all constants that appear in this structure.

      • getFunctors

        public abstract Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()
        Returns all functors that appear in this structure.
        Returns:
        all functors that appear in this structure.

      • getVariables

        public abstract Set<net.sf.tweety.logics.commons.syntax.Variable> getVariables()
        Returns all variables that appear in this structure.
        Returns:
        all variables that appear in this structure.

      • getFunctionalTerms

        public abstract Set<net.sf.tweety.logics.commons.syntax.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.