public class ContensionSampler extends BeliefSetSampler<PropositionalFormula,PlBeliefSet>
Modifier and Type | Field and Description |
---|---|
private int |
incvalue
The inconsistency value of the generated belief sets
(wrt.
|
DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH
Constructor and Description |
---|
ContensionSampler(PropositionalSignature signature,
int incvalue)
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
|
ContensionSampler(PropositionalSignature 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.
|
Modifier and Type | Method and Description |
---|---|
PlBeliefSet |
next() |
getMaxLength, getMinLength, getSignature, hasNext
private int incvalue
public ContensionSampler(PropositionalSignature signature, int incvalue)
signature
- some propositional signatureincvalue
- some inconsistency value.public ContensionSampler(PropositionalSignature signature, int incvalue, int minLength, int maxLength)
signature
- some propositional signatureincvalue
- some inconsistency value.minLength
- the minimum length of knowledge basesmaxLength
- the maximum length of knowledge basespublic PlBeliefSet next()
next
in interface java.util.Iterator<PlBeliefSet>
next
in interface BeliefSetIterator<PropositionalFormula,PlBeliefSet>
next
in class BeliefSetSampler<PropositionalFormula,PlBeliefSet>