net.sf.tweety.logics.fol

Class FolBeliefSet

java.lang.Object

net.sf.tweety.commons.BeliefSet<FolFormula>

net.sf.tweety.logics.fol.FolBeliefSet

All Implemented Interfaces:

java.lang.Iterable<FolFormula>, java.util.Collection<FolFormula>, BeliefBase

public class FolBeliefSet
extends BeliefSet<FolFormula>

This class models a first-order knowledge base, i.e. a set of formulas in first-order logic.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
FolBeliefSet() Creates a new and empty first-order knowledge base.
FolBeliefSet(java.util.Set<FolFormula> formulas) Creates a new first-order knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method and Description
Signature	getSignature() Returns the signature of the language of this knowledge base.

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

FolBeliefSet

public FolBeliefSet()

Creates a new and empty first-order knowledge base.

FolBeliefSet

public FolBeliefSet(java.util.Set<FolFormula> formulas)

Creates a new first-order knowledge base with the given set of formulas.

Parameters:

formulas -

Method Detail

getSignature

public Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<FolFormula>

Returns:

the signature of the language of this knowledge base.