Package net.sf.tweety.logics.pl.util

Class ContensionSampler

java.lang.Object

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

net.sf.tweety.logics.pl.util.ContensionSampler

All Implemented Interfaces:

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

public class ContensionSampler
extends BeliefSetSampler<PlFormula,PlBeliefSet>

Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private int	incvalue	The inconsistency value of the generated belief sets (wrt.

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor	Description
ContensionSampler(PlSignature signature, int incvalue)	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
ContensionSampler(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

Field Detail

incvalue

private int incvalue

The inconsistency value of the generated belief sets (wrt. the contension inconsistency measure).

Constructor Detail

ContensionSampler

public ContensionSampler(PlSignature signature,
                         int incvalue)

Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the contension inconsistency measure)

Parameters:

signature - some propositional signature

incvalue - some inconsistency value.

ContensionSampler

public ContensionSampler(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 contension 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 BeliefSetIterator<PlFormula,PlBeliefSet>

Specified by:

next in interface java.util.Iterator<PlBeliefSet>

Specified by:

next in class BeliefSetSampler<PlFormula,PlBeliefSet>