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 and Description
LogicStructure()

Method Summary

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

clone, equals, finalize, 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