net.sf.tweety.logics.pl.util

Class CanonicalEnumerator

java.lang.Object

net.sf.tweety.logics.pl.util.CanonicalEnumerator

All Implemented Interfaces:

Iterator<PlBeliefSet>

public class CanonicalEnumerator
extends Object
implements Iterator<PlBeliefSet>

Provides an iterator on all syntactically equivalent knowledge bases.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
CanonicalEnumerator() Default constructor.
CanonicalEnumerator(BigInteger startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalEnumerator(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)
CanonicalEnumerator(Integer startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalEnumerator(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)
CanonicalEnumerator(Long startIndex) Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalEnumerator(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

CanonicalEnumerator

public CanonicalEnumerator()

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

CanonicalEnumerator

public CanonicalEnumerator(Long startIndex)

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

Parameters:

startIndex - some integer value

CanonicalEnumerator

public CanonicalEnumerator(Integer startIndex)

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

Parameters:

startIndex - some integer value

CanonicalEnumerator

public CanonicalEnumerator(BigInteger startIndex)

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

Parameters:

startIndex - some integer value

CanonicalEnumerator

public CanonicalEnumerator(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

CanonicalEnumerator

public CanonicalEnumerator(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

CanonicalEnumerator

public CanonicalEnumerator(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>

next

public PlBeliefSet next()

Specified by:

next in interface Iterator<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