RandomSatSampler

java.lang.Object
- net.sf.tweety.commons.BeliefSetSampler<PlFormula,PlBeliefSet>
- - net.sf.tweety.logics.pl.util.RandomSatSampler

All Implemented Interfaces:

java.util.Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>
```
public class RandomSatSampler
extends BeliefSetSampler<PlFormula,PlBeliefSet>
```
A sampler for uniform random k-SAT instances.

Author:

Matthias Thimm

Field Summary

Fields
Modifier and Type	Field	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	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 Description

PlBeliefSet next()

Disjunction randomClause()
Generates a random clause with k literals.
- Methods inherited from class net.sf.tweety.commons.BeliefSetSampler
  getMaxLength, getMinLength, getSamplerSignature, 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 BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    next in interface java.util.Iterator<PlBeliefSet>
    
    Specified by:
    
    next in class BeliefSetSampler<PlFormula,PlBeliefSet>
  - randomClause
```
public Disjunction randomClause()
```
    Generates a random clause with k literals.
    
    Returns:
    
    a disjunction of literals.