public class HsSampler 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 |
---|
HsSampler(PropositionalSignature signature,
int incvalue)
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
|
HsSampler(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 |
---|---|
private java.util.List<PropositionalFormula> |
getCanonicalFormulas(int num,
PropositionalSignature sig)
For a signature {a1,...,an} creates num different canonical and mutually exclusive
formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
|
PlBeliefSet |
next() |
getMaxLength, getMinLength, getSignature, hasNext
private int incvalue
public HsSampler(PropositionalSignature signature, int incvalue)
signature
- some propositional signatureincvalue
- some inconsistency value.public HsSampler(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>
private java.util.List<PropositionalFormula> getCanonicalFormulas(int num, PropositionalSignature sig)
num
- the number of formulas to be generated.sig
- the signature (guaranteed to be large enough)