class |
CnfSampler |
A simple sampler for propositional belief bases.
|
class |
ContensionSampler |
Generates random propositional belief base with a given
inconsistency measure (for the contension inconsistency measure)
and of a given size.
|
class |
HsSampler |
Generates random propositional belief base with a given
inconsistency measure (for the Hs inconsistency measure)
and of a given size.
|
class |
MiSampler |
Generates random propositional belief base with a given
inconsistency measure (for the MI inconsistency measure)
and of a given size.
|
class |
RandomSampler |
|
class |
RandomSatSampler |
A sampler for uniform random k-SAT instances.
|
class |
SyntacticRandomSampler |
This sampler implements a random generation algorithm for generating formulas, based on
the syntax tree of propositional formulas.
|