Class  Description 

CanonicalEnumerator 
Provides an iterator on all syntactically equivalent knowledge bases.

CnfSampler 
A simple sampler for propositional belief bases.

ContensionSampler 
Generates random propositional belief base with a given
inconsistency measure (for the contension inconsistency measure)
and of a given size.

EnumeratingPlBeliefSetSampler 
This sampler enumerates all possible propositional belief bases of the given signature.

HsSampler 
Generates random propositional belief base with a given
inconsistency measure (for the Hs inconsistency measure)
and of a given size.

MiSampler 
Generates random propositional belief base with a given
inconsistency measure (for the MI inconsistency measure)
and of a given size.

RandomPlBeliefSetSampler 
This sampler generates random belief sets by selecting,
for each formula a random set of possible worlds as its models.

SyntacticEnumeratingPlBeliefSetSampler 
Generates all syntactic variations of knowledge bases up to a
given size.

SyntacticRandomPlBeliefSetSampler 
This sampler implements a random generation algorithm for generating formulas, based on
the syntax tree of propositional formulas.
