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

Class TptpFofAtomicFormula

java.lang.Object

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

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

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

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

public class TptpFofAtomicFormula
extends TptpFofUnitaryFormula

This class models an atom for the Tptp-Format Each atom represents only one lower-case word.

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofAtomicFormula() Empty Constructor
TptpFofAtomicFormula(TptpFofPredicate predicate) Constructor with given identifier name
TptpFofAtomicFormula(TptpFofPredicate predicate, List<? extends TptpFofTerm<?>> arguments)
TptpFofAtomicFormula(TptpFofPredicate predicate, TptpFofTerm<?>... terms)

Method Summary

Modifier and Type	Method and Description
void	addArgument(TptpFofTerm<?> term)
Set<TptpFofAtomicFormula>	getAtoms()
boolean	isParenthesized()
boolean	validate() This method validates, if the given identifier string meets the name conventions for atoms

Methods inherited from class net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofUnitaryFormula

isUnitary

Methods inherited from class net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofLogicFormula

getFunctors, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofAtomicFormula

public TptpFofAtomicFormula()

Empty Constructor

TptpFofAtomicFormula

public TptpFofAtomicFormula(TptpFofPredicate predicate)

Constructor with given identifier name

Parameters:

predicate - the predicate of this atom

TptpFofAtomicFormula

public TptpFofAtomicFormula(TptpFofPredicate predicate,
                            TptpFofTerm<?>... terms)

TptpFofAtomicFormula

public TptpFofAtomicFormula(TptpFofPredicate predicate,
                            List<? extends TptpFofTerm<?>> arguments)

Method Detail

getAtoms

public Set<TptpFofAtomicFormula> getAtoms()

Overrides:

getAtoms in class TptpFofLogicFormula

addArgument

public void addArgument(TptpFofTerm<?> term)
                 throws IllegalArgumentException

Throws:

IllegalArgumentException

validate

public boolean validate()

This method validates, if the given identifier string meets the name conventions for atoms

isParenthesized

public boolean isParenthesized()

Specified by:

isParenthesized in class TptpFofLogicFormula