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. 
 |