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:
Iterator<T>
All Known Implementing Classes:
FourValuedWorldIterator, PossibleWorldIterator, PriestWorldIterator

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

    • hasNext

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

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

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

      Initializes a new reseted iterator.
      Returns:
      a reseted iterator.
    • reset

      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(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.