net.sf.tweety.logics.fol.syntax

Class LogicStructure

java.lang.Object

net.sf.tweety.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 and Description
LogicStructure()

Method Summary

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.

toString

public abstract String toString()

Overrides:

toString in class Object