net.sf.tweety.logics.cl.syntax

Class ClBeliefSet

java.lang.Object

net.sf.tweety.commons.BeliefSet<Conditional>

net.sf.tweety.logics.cl.syntax.ClBeliefSet

All Implemented Interfaces:

java.lang.Iterable<Conditional>, java.util.Collection<Conditional>, BeliefBase

public class ClBeliefSet
extends BeliefSet<Conditional>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
ClBeliefSet	clone()
PropositionalSignature	getSignature() Returns the signature of the language of this knowledge base.

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

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

ClBeliefSet

public ClBeliefSet()

Creates a new (empty) conditional belief set.

ClBeliefSet

public ClBeliefSet(java.util.Collection<? extends Conditional> conditionals)

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

Parameters:

conditionals - a collection of conditionals.

Method Detail

getSignature

public PropositionalSignature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<Conditional>

Returns:

the signature of the language of this knowledge base.

clone

public ClBeliefSet clone()

Overrides:

clone in class java.lang.Object