net.sf.tweety.logics.fol.syntax.tptp.fof

Class TptpFofLogicFormula

java.lang.Object

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFormula

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofLogicFormula

Direct Known Subclasses:

TptpFofBinaryFormula, TptpFofUnitaryFormula

public abstract class TptpFofLogicFormula
extends TptpFofFormula

The Tptp logic formula class

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofLogicFormula()
TptpFofLogicFormula(Set<TptpFofAtomicFormula> atoms, Set<TptpFofFunctor> functors)

Method Summary

Modifier and Type	Method and Description
Set<TptpFofAtomicFormula>	getAtoms()
Set<TptpFofFunctor>	getFunctors()
abstract boolean	isParenthesized()
abstract boolean	isUnitary()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofLogicFormula

public TptpFofLogicFormula()

TptpFofLogicFormula

public TptpFofLogicFormula(Set<TptpFofAtomicFormula> atoms,
                           Set<TptpFofFunctor> functors)

Parameters:

atoms -

functors -

Method Detail

getAtoms

public Set<TptpFofAtomicFormula> getAtoms()

getFunctors

public Set<TptpFofFunctor> getFunctors()

isUnitary

public abstract boolean isUnitary()

isParenthesized

public abstract boolean isParenthesized()

toString

public String toString()

Specified by:

toString in class TptpFofFormula