net.sf.tweety.logics.pl.util

Class RandomSatSampler

java.lang.Object

net.sf.tweety.commons.BeliefSetSampler<PropositionalFormula,PlBeliefSet>

net.sf.tweety.logics.pl.util.RandomSatSampler

All Implemented Interfaces:

java.util.Iterator<PlBeliefSet>, BeliefSetIterator<PropositionalFormula,PlBeliefSet>

public class RandomSatSampler
extends BeliefSetSampler<PropositionalFormula,PlBeliefSet>

A sampler for uniform random k-SAT instances.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	k The length of each clause
private java.util.Random	rand For randomisation
private SetTools<Proposition>	setTools For randomisation

Fields inherited from class net.sf.tweety.commons.BeliefSetSampler

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
RandomSatSampler(Signature signature, int k) Constructs a new sampler
RandomSatSampler(Signature signature, int k, int minLength, int maxLength) Constructs a new sampler

Method Summary

Modifier and Type	Method and Description
PlBeliefSet	next()
Disjunction	randomClause() Generates a random clause with k literals.

Methods inherited from class net.sf.tweety.commons.BeliefSetSampler

getMaxLength, getMinLength, getSignature, hasNext

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

Field Detail

k

private int k

The length of each clause

setTools

private SetTools<Proposition> setTools

For randomisation

rand

private java.util.Random rand

For randomisation

Constructor Detail

RandomSatSampler

public RandomSatSampler(Signature signature,
                        int k)

Constructs a new sampler

Parameters:

signature - some signature

k - the length of each clause

RandomSatSampler

public RandomSatSampler(Signature signature,
                        int k,
                        int minLength,
                        int maxLength)

Constructs a new sampler

Parameters:

signature - some signature

k - the length of each clause

minLength - the minimum length of knowledge bases

maxLength - the maximum length of knowledge bases

Method Detail

next

public PlBeliefSet next()

Specified by:

next in interface java.util.Iterator<PlBeliefSet>

Specified by:

next in interface BeliefSetIterator<PropositionalFormula,PlBeliefSet>

Specified by:

next in class BeliefSetSampler<PropositionalFormula,PlBeliefSet>

randomClause

public Disjunction randomClause()

Generates a random clause with k literals.

Returns:

a disjunction of literals.