Package net.sf.tweety.logics.fol.syntax
Class LogicStructure
- java.lang.Object
-
- net.sf.tweety.logics.fol.syntax.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()
-
-
-
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 classjava.lang.Object
-
-