net.sf.tweety.logics.cl

Class ClBeliefSet

java.lang.Object

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

net.sf.tweety.logics.cl.ClBeliefSet

All Implemented Interfaces:

Iterable<Conditional>, Collection<Conditional>, net.sf.tweety.commons.BeliefBase

public class ClBeliefSet
extends net.sf.tweety.commons.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(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()
net.sf.tweety.logics.pl.syntax.PropositionalSignature	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

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(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 net.sf.tweety.logics.pl.syntax.PropositionalSignature getSignature()

Specified by:

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

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<Conditional>

clone

public ClBeliefSet clone()

Overrides:

clone in class Object