Package org.tweetyproject.logics.fol.syntax

Class 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()	Constructor

Method Summary

Modifier and Type	Method	Description
boolean	containsFunctionalTerms()	Checks whether this structure contains any functional terms.
abstract Set<Constant>	getConstants()	Return all constants that appear in this structure.
abstract Set<FunctionalTerm>	getFunctionalTerms()	Return all functional terms that appear in this structure.
abstract Set<Functor>	getFunctors()	Return all functors that appear in this structure.
abstract Set<Variable>	getVariables()	Return all variables that appear in this structure.
abstract String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

LogicStructure

public LogicStructure()

Constructor

Method Details

getConstants

public abstract Set<Constant> getConstants()

Return all constants that appear in this structure.

Returns:

all constants that appear in this structure.

getFunctors

public abstract Set<Functor> getFunctors()

Return all functors that appear in this structure.

Returns:

all functors that appear in this structure.

getVariables

public abstract Set<Variable> getVariables()

Return all variables that appear in this structure.

Returns:

all variables that appear in this structure.

getFunctionalTerms

public abstract Set<FunctionalTerm> getFunctionalTerms()

Return 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 String toString()

Overrides:

toString in class Object