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
  • 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()