MiSampler (Tweety (Propositional Logic) 1.17 API)

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

All Implemented Interfaces:

Iterator<PlBeliefSet>, net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>
```
public class MiSampler
extends net.sf.tweety.commons.BeliefSetSampler<PlFormula,PlBeliefSet>
```
Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size. NOTE: this sampler is quite simple and only generates MIs of size four and is very demanding on the size of the signature.

Author:

Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSetSampler
  DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors
Constructor	Description
`MiSampler(PlSignature signature, int incvalue)`	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
`MiSampler(PlSignature signature, int incvalue, int minLength, int maxLength)`	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.

Method Summary

Modifier and Type Method Description

PlBeliefSet next()
- 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

- Constructor Detail
  - MiSampler
```
public MiSampler(PlSignature signature,
                 int incvalue)
```
    Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the MI inconsistency measure)
    
    Parameters:
    
    signature - some propositional signature
    
    incvalue - some inconsistency value.
  - MiSampler
```
public MiSampler(PlSignature signature,
                 int incvalue,
                 int minLength,
                 int maxLength)
```
    Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the MI inconsistency measure)
    
    Parameters:
    
    signature - some propositional signature
    
    incvalue - some inconsistency value.
    
    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 net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    next in interface Iterator<PlBeliefSet>
    
    Specified by:
    
    next in class net.sf.tweety.commons.BeliefSetSampler<PlFormula,PlBeliefSet>