FolBeliefSet (Tweety (FOL) 1.17 API)

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

All Implemented Interfaces:

Iterable<FolFormula>, Collection<FolFormula>, net.sf.tweety.commons.BeliefBase
```
public class FolBeliefSet
extends net.sf.tweety.commons.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, signature

Constructor Summary

Constructors
Constructor	Description
`FolBeliefSet()`	Creates a new and empty first-order knowledge base.
`FolBeliefSet(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()

protected FolSignature instantiateSignature()
- Methods inherited from class net.sf.tweety.commons.BeliefSet
  add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, 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, 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(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()
```
  - instantiateSignature
```
protected FolSignature instantiateSignature()
```
    Specified by:
    
    instantiateSignature in class net.sf.tweety.commons.BeliefSet<FolFormula,FolSignature>