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 Summary

Constructors

Constructor

Description

LogicStructure()
Method Summary

Modifier and Type

Method

Description

boolean

containsFunctionalTerms()

Checks whether this structure contains any functional terms.

abstract Set<Constant>

getConstants()

abstract Set<FunctionalTerm>

getFunctionalTerms()

abstract Set<Functor>

getFunctors()

abstract Set<Variable>

getVariables()

abstract String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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