net.sf.tweety.logics.pl.util

Class CanonicalIterator

java.lang.Object

net.sf.tweety.logics.pl.util.CanonicalIterator

All Implemented Interfaces:

Iterator<PlBeliefSet>, net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

public class CanonicalIterator
extends Object
implements net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

Provides an iterator on all syntactically equivalent knowledge bases.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
CanonicalIterator() Default constructor.
CanonicalIterator(BigInteger startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(BigInteger startIndex, BigInteger endIndex) Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
CanonicalIterator(Integer startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(Integer startIndex, Integer endIndex) Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
CanonicalIterator(Long startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(Long startIndex, Long endIndex) Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)

Method Summary

Modifier and Type	Method and Description
static BitSet	beliefSet2BitSet(PlBeliefSet bs) Creates a bitset representation of the given belief set.
boolean	hasNext()
PlBeliefSet	next()
BigInteger	nextIndex() Returns the index of the next element.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Detail

CanonicalIterator

public CanonicalIterator()

Default constructor. Creates an enumerator that enumerates knowledge bases starting from index 1.

CanonicalIterator

public CanonicalIterator(Long startIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given index

Parameters:

startIndex - some integer value

CanonicalIterator

public CanonicalIterator(Integer startIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given index

Parameters:

startIndex - some integer value

CanonicalIterator

public CanonicalIterator(BigInteger startIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given index

Parameters:

startIndex - some integer value

CanonicalIterator

public CanonicalIterator(Long startIndex,
                         Long endIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)

Parameters:

startIndex - some integer value

endIndex - some integer value

CanonicalIterator

public CanonicalIterator(Integer startIndex,
                         Integer endIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)

Parameters:

startIndex - some integer value

endIndex - some integer value

CanonicalIterator

public CanonicalIterator(BigInteger startIndex,
                         BigInteger endIndex)

Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)

Parameters:

startIndex - some integer value

endIndex - some integer value

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<PlBeliefSet>

Specified by:

hasNext in interface net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

next

public PlBeliefSet next()

Specified by:

next in interface Iterator<PlBeliefSet>

Specified by:

next in interface net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

nextIndex

public BigInteger nextIndex()

Returns the index of the next element.

Returns:

the index of the next element.

beliefSet2BitSet

public static BitSet beliefSet2BitSet(PlBeliefSet bs)

Creates a bitset representation of the given belief set.

Parameters:

bs - some belief set

Returns:

a bitset representation of the belief set