FolBeliefSet

java.lang.Object
- net.sf.tweety.commons.BeliefSet<FolFormula,FolSignature>
- - net.sf.tweety.logics.fol.syntax.FolBeliefSet

All Implemented Interfaces:

java.lang.Iterable<FolFormula>, java.util.Collection<FolFormula>, BeliefBase
```
public class FolBeliefSet
extends BeliefSet<FolFormula,FolSignature>
```
This class models a first-order knowledge base, i.e. a set of formulas in first-order logic.

Author:

Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSet
  EQUALS_USES_SIGNATURE

Constructor Summary

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

Method Summary

Modifier and Type Method Description

FolSignature getMinimalSignature()
Returns the signature of the language of this knowledge base.
- Methods inherited from class net.sf.tweety.commons.BeliefSet
  add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
- Methods inherited from class java.lang.Object
  getClass, notify, notifyAll, wait, wait, wait
- Methods inherited from interface java.util.Collection
  parallelStream, removeIf, spliterator, stream, toArray
- 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.Collection<FolFormula> formulas)
```
    Creates a new first-order knowledge base with the given set of formulas.
    
    Parameters:
    
    formulas - the formulas
- Method Detail
  - getMinimalSignature
```
public FolSignature getMinimalSignature()
```
    Description copied from interface: BeliefBase
    
    Returns the signature of the language of this knowledge base.
    
    Returns:
    
    the signature of the language of this knowledge base.