net.sf.tweety.logics.el

Class ModalBeliefSet

java.lang.Object

net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.commons.syntax.RelationalFormula>

net.sf.tweety.logics.el.ModalBeliefSet

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 ModalBeliefSet
extends net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.commons.syntax.RelationalFormula>

This class models a modal knowledge base, i.e. a set of formulas in modal logic.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor and Description
ModalBeliefSet() Creates a new empty modal knowledge base.
ModalBeliefSet(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 and Description
net.sf.tweety.commons.Signature	getSignature()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, 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

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

ModalBeliefSet

public ModalBeliefSet()

Creates a new empty modal knowledge base.

ModalBeliefSet

public ModalBeliefSet(Set<net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)

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

Parameters:

formulas -

Method Detail

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.commons.syntax.RelationalFormula>