Class RclBeliefSet

    • Field Summary

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

        EQUALS_USES_SIGNATURE, 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.
    • 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:
        instantiateSignature in class net.sf.tweety.commons.BeliefSet<RelationalConditional,​net.sf.tweety.logics.fol.syntax.FolSignature>