Class FourValuedWorldIterator

java.lang.Object
org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
All Implemented Interfaces:
Iterator<FourValuedWorld>, InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

public class FourValuedWorldIterator extends Object implements InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>
This class iterates over all 4-valued interpretations of a given signature. Inspired by class "PossibleWorldIterator" for the use of 4-valued Logic
Author:
Jonas Schumacher