Package net.sf.tweety.logics.rcl.syntax
Class RclBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<RelationalConditional,net.sf.tweety.logics.fol.syntax.FolSignature>
-
- net.sf.tweety.logics.rcl.syntax.RclBeliefSet
-
- All Implemented Interfaces:
Iterable<RelationalConditional>,Collection<RelationalConditional>,net.sf.tweety.commons.BeliefBase
public class RclBeliefSet extends net.sf.tweety.commons.BeliefSet<RelationalConditional,net.sf.tweety.logics.fol.syntax.FolSignature>
This class models a belief set on relational conditional logic, i.e. a set of relational conditionals.- Author:
- Matthias Thimm
-
-
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 net.sf.tweety.commons.SignaturegetMinimalSignature()protected net.sf.tweety.logics.fol.syntax.FolSignatureinstantiateSignature()-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, 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, toArray
-
-
-
-
Constructor Detail
-
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 Detail
-
getMinimalSignature
public net.sf.tweety.commons.Signature getMinimalSignature()
-
instantiateSignature
protected net.sf.tweety.logics.fol.syntax.FolSignature instantiateSignature()
- Specified by:
instantiateSignaturein classnet.sf.tweety.commons.BeliefSet<RelationalConditional,net.sf.tweety.logics.fol.syntax.FolSignature>
-
-