Package org.tweetyproject.logics.cl.syntax

Class ClBeliefSet

java.lang.Object

org.tweetyproject.commons.BeliefSet<Conditional,PlSignature>

org.tweetyproject.logics.cl.syntax.ClBeliefSet

All Implemented Interfaces:

Iterable<Conditional>, Collection<Conditional>, BeliefBase

public class ClBeliefSet
extends BeliefSet<Conditional,PlSignature>

This class models a belief set on conditional logic, i.e. a set of conditionals.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
ClBeliefSet()	Creates a new (empty) conditional belief set.
ClBeliefSet(Collection<? extends Conditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.

Method Summary

Modifier and Type	Method	Description
ClBeliefSet	clone()
PlSignature	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

ClBeliefSet

public ClBeliefSet()

Creates a new (empty) conditional belief set.

ClBeliefSet

public ClBeliefSet(Collection<? extends Conditional> conditionals)

Creates a new conditional belief set with the given collection of conditionals.

Parameters:

conditionals - a collection of conditionals.

Method Details

getMinimalSignature

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

clone

public ClBeliefSet clone()