Package org.tweetyproject.logics.rcl.syntax

Class RclBeliefSet

java.lang.Object

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

org.tweetyproject.logics.rcl.syntax.RclBeliefSet

All Implemented Interfaces:

Iterable<RelationalConditional>, Collection<RelationalConditional>, BeliefBase

public class RclBeliefSet
extends BeliefSet<RelationalConditional,FolSignature>

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

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

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

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

RclBeliefSet

public RclBeliefSet()

Creates a new (empty) conditional belief set.

RclBeliefSet

public RclBeliefSet(Collection<? extends RelationalConditional> conditionals)

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

Parameters:

conditionals - a collection of relational conditionals.

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.