Class ClBeliefSet

  • All Implemented Interfaces:
    Iterable<Conditional>, Collection<Conditional>, net.sf.tweety.commons.BeliefBase

    public class ClBeliefSet
    extends net.sf.tweety.commons.BeliefSet<Conditional,​net.sf.tweety.logics.pl.syntax.PlSignature>
    This class models a belief set on conditional logic, i.e. a set of conditionals.
    Author:
    Matthias Thimm
    • Field Summary

      • Fields inherited from class net.sf.tweety.commons.BeliefSet

        EQUALS_USES_SIGNATURE, signature
    • Constructor Summary

      Constructors 
      Constructor 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.
    • 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

      • getMinimalSignature

        public net.sf.tweety.logics.pl.syntax.PlSignature getMinimalSignature()
      • instantiateSignature

        protected net.sf.tweety.logics.pl.syntax.PlSignature instantiateSignature()
        Specified by:
        instantiateSignature in class net.sf.tweety.commons.BeliefSet<Conditional,​net.sf.tweety.logics.pl.syntax.PlSignature>