MlBeliefSet (Tweety (Modal Logic Library) 1.17 API)

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

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.commons.syntax.RelationalFormula>, Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>, net.sf.tweety.commons.BeliefBase
```
public class MlBeliefSet
extends net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.commons.syntax.RelationalFormula,net.sf.tweety.logics.fol.syntax.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(Set<net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)`	Creates a new modal knowledge base with the given set of formulas.

Method Summary

Modifier and Type Method Description

net.sf.tweety.commons.Signature getMinimalSignature()

protected net.sf.tweety.logics.fol.syntax.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
  - MlBeliefSet
```
public MlBeliefSet()
```
    Creates a new empty modal knowledge base.
  - MlBeliefSet
```
public MlBeliefSet(Set<net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)
```
    Creates a new modal knowledge base with the given set of formulas.
    
    Parameters:
    
    formulas - some formulas
- Method Detail
  - getMinimalSignature
```
public net.sf.tweety.commons.Signature getMinimalSignature()
```
  - instantiateSignature
```
protected net.sf.tweety.logics.fol.syntax.FolSignature instantiateSignature()
```
    Specified by:
    
    instantiateSignature in class net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.commons.syntax.RelationalFormula,net.sf.tweety.logics.fol.syntax.FolSignature>