MlBeliefSet

java.lang.Object
- net.sf.tweety.commons.BeliefSet<RelationalFormula,FolSignature>
- - net.sf.tweety.logics.ml.syntax.MlBeliefSet

All Implemented Interfaces:

java.lang.Iterable<RelationalFormula>, java.util.Collection<RelationalFormula>, BeliefBase
```
public class MlBeliefSet
extends BeliefSet<RelationalFormula,FolSignature>
```
This class models a modal knowledge base, i.e. a set of formulas in modal logic.

Author:

Anna Gessler

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

Constructor Summary

Constructors
Constructor	Description
`MlBeliefSet()`	Creates a new empty modal knowledge base.
`MlBeliefSet(java.util.Set<RelationalFormula> formulas)`	Creates a new modal knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method	Description
`Signature`	`getMinimalSignature()`	Returns the signature of the language of this knowledge base.
`protected FolSignature`	`instantiateSignature()`	Instantiates the signature which is attached to the belief base.

Methods inherited from class net.sf.tweety.commons.BeliefSet
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
  - MlBeliefSet
```
public MlBeliefSet()
```
    Creates a new empty modal knowledge base.
  - MlBeliefSet
```
public MlBeliefSet(java.util.Set<RelationalFormula> formulas)
```
    Creates a new modal knowledge base with the given set of formulas.
    
    Parameters:
    
    formulas - some formulas
- Method Detail
  - getMinimalSignature
```
public Signature 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.
  - instantiateSignature
```
protected FolSignature instantiateSignature()
```
    Description copied from class: BeliefSet
    
    Instantiates the signature which is attached to the belief base.
    
    Specified by:
    
    instantiateSignature in class BeliefSet<RelationalFormula,FolSignature>
    
    Returns:
    
    the signature of this belief base