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

Class TptpFofBeliefBase

java.lang.Object

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

public class TptpFofBeliefBase
extends Object

Currently unused Meant to be used to collect a single tptp-fof-file in one class

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
TptpFofBeliefBase()
TptpFofBeliefBase(Set<TptpFofFormula> formulas)

Method Summary

Modifier and Type	Method and Description
boolean	add(TptpFofFormula e)
Set<TptpFofFormula>	getFormulas()
boolean	isEmpty()
Iterator<TptpFofFormula>	iterator()
void	setFormulas(Set<TptpFofFormula> formulas)

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpFofBeliefBase

public TptpFofBeliefBase()

TptpFofBeliefBase

public TptpFofBeliefBase(Set<TptpFofFormula> formulas)

Parameters:

formulas -

Method Detail

getFormulas

public Set<TptpFofFormula> getFormulas()

Returns:

setFormulas

public void setFormulas(Set<TptpFofFormula> formulas)

Parameters:

formulas -

add

public boolean add(TptpFofFormula e)

isEmpty

public boolean isEmpty()

Returns:

iterator

public Iterator<TptpFofFormula> iterator()

Returns: