Interface InterpretationIterator<S extends Formula,​B extends BeliefBase,​T extends Interpretation<B,​S>>

  • Type Parameters:
    S - The type of formulas
    B - The type of belief bases
    T - The actual type of interpretations
    All Superinterfaces:
    java.util.Iterator<T>
    All Known Implementing Classes:
    PossibleWorldIterator

    public interface InterpretationIterator<S extends Formula,​B extends BeliefBase,​T extends Interpretation<B,​S>>
    extends java.util.Iterator<T>
    An iterator over interpretations.
    Author:
    Matthias Thimm
    • Method Detail

      • hasNext

        boolean hasNext()
        Specified by:
        hasNext in interface java.util.Iterator<S extends Formula>
      • next

        T next()
        Specified by:
        next in interface java.util.Iterator<S extends Formula>
      • remove

        void remove()
        Specified by:
        remove in interface java.util.Iterator<S extends Formula>
      • reset

        InterpretationIterator<S,​B,​T> reset​(Signature sig)
        Initializes a new reseted iterator for the given signature.
        Parameters:
        sig - some signature.
        Returns:
        a reseted iterator for the given signature.
      • reset

        InterpretationIterator<S,​B,​T> reset​(java.util.Collection<? extends Formula> formulas)
        Initializes a new reseted iterator for the given signature derived from the given set of formulas.
        Parameters:
        formulas - a set of formulas.
        Returns:
        a reseted iterator for the given signature derived from the given set of formulas.