LogicStructure

java.lang.Object
- org.tweetyproject.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()`

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