Package net.sf.tweety.logics.pl.util
Class MiSampler
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSetSampler<PlFormula,PlBeliefSet>
-
- net.sf.tweety.logics.pl.util.MiSampler
-
- All Implemented Interfaces:
java.util.Iterator<PlBeliefSet>,BeliefSetIterator<PlFormula,PlBeliefSet>
public class MiSampler extends 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 PlBeliefSetnext()-
Methods inherited from class net.sf.tweety.commons.BeliefSetSampler
getMaxLength, getMinLength, getSamplerSignature, hasNext
-
-
-
-
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 signatureincvalue- 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 signatureincvalue- some inconsistency value.minLength- the minimum length of knowledge basesmaxLength- the maximum length of knowledge bases
-
-
Method Detail
-
next
public PlBeliefSet next()
- Specified by:
nextin interfaceBeliefSetIterator<PlFormula,PlBeliefSet>- Specified by:
nextin interfacejava.util.Iterator<PlBeliefSet>- Specified by:
nextin classBeliefSetSampler<PlFormula,PlBeliefSet>
-
-