Package org.tweetyproject.logics.ml.syntax

Class MlBeliefSet

java.lang.Object

org.tweetyproject.commons.BeliefSet<RelationalFormula,FolSignature>

org.tweetyproject.logics.ml.syntax.MlBeliefSet

All Implemented Interfaces:

Iterable<RelationalFormula>, 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 org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
MlBeliefSet()	Creates a new empty modal knowledge base.
MlBeliefSet(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 org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, 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 Details

MlBeliefSet

public MlBeliefSet()

Creates a new empty modal knowledge base.

MlBeliefSet

public MlBeliefSet(Set<RelationalFormula> formulas)

Creates a new modal knowledge base with the given set of formulas.

Parameters:

formulas - some formulas

Method Details

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.