EnumeratingIterator

java.lang.Object

org.tweetyproject.logics.pl.util.EnumeratingIterator

All Implemented Interfaces:: Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class EnumeratingIterator extends Object implements BeliefSetIterator<PlFormula,PlBeliefSet>

Author:: mthimm

Constructor Summary

Constructors

Constructor

Description

EnumeratingIterator(PlSignature signature)

Creates a new sampler for the given signature

EnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)

Creates a new sampler for the given signature
Method Summary

Modifier and Type

Method

Description

boolean

hasNext()

PlBeliefSet

next()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator
forEachRemaining, remove

Constructor Details
- EnumeratingIterator
  
  public EnumeratingIterator(PlSignature signature)
  
  Creates a new sampler for the given signature
  
  Parameters:
  
  signature - some signature
- EnumeratingIterator
  
  public EnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)
  
  Creates a new sampler for the given signature
  
  Parameters:
  
  signature - some signature
  
  joinSemanticVariants - whether semantical variants of the same formula should be considered as distinct (="false").
Method Details
- hasNext
  
  public boolean hasNext()
  
  Specified by:
  
  hasNext in interface BeliefSetIterator<PlFormula,PlBeliefSet>
  
  Specified by:
  
  hasNext in interface Iterator<PlBeliefSet>
- next
  
  public PlBeliefSet next()
  
  Specified by:
  
  next in interface BeliefSetIterator<PlFormula,PlBeliefSet>
  
  Specified by:
  
  next in interface Iterator<PlBeliefSet>