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

Class TptpFofQuantifiedFormula

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.TptpFofQuantifiedFormula

Direct Known Subclasses:

TptpFofExistsQuantifiedFormula, TptpFofForallQuantifiedFormula

public abstract class TptpFofQuantifiedFormula
extends TptpFofUnitaryFormula

The abstract class for quantified formulas

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula)

Method Summary

Modifier and Type	Method and Description
TptpFofFormula	getFormula()
Set<TptpFofVariable>	getVariables()
boolean	isQuantifiedFormula()

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

getAtoms, getFunctors, isParenthesized, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofQuantifiedFormula

public TptpFofQuantifiedFormula(Set<TptpFofVariable> variables,
                                TptpFofFormula formula)

Parameters:

variables -

formula -

Method Detail

getVariables

public Set<TptpFofVariable> getVariables()

getFormula

public TptpFofFormula getFormula()

isQuantifiedFormula

public boolean isQuantifiedFormula()