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

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.
- 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
  - 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.