Interface BeliefSet<M extends ModedAssertion<M>>

    • Method Detail

      • getFirst

        M getFirst()
      • add

        void add​(M node)
      • remove

        void remove​(M node)
      • isEmpty

        boolean isEmpty()
      • size

        int size()
      • cancel

        void cancel​(PropagationContext propagationContext)
        This will remove all entries and do clean up, like retract FHs.
        Parameters:
        propagationContext -
      • clear

        void clear​(PropagationContext propagationContext)
        This will remove all entries, but not do cleanup, the FH is most likely needed else where
        Parameters:
        propagationContext -
      • isNegated

        boolean isNegated()
      • isDecided

        boolean isDecided()
      • isConflicting

        boolean isConflicting()
      • isPositive

        boolean isPositive()