| CanonicalIterator |
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.
|
| EnumeratingIterator |
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.
|
| RandomSampler |
|
| RandomSatSampler |
A sampler for uniform random k-SAT instances.
|
| SyntacticEnumeratingIterator |
Generates all syntactic variations of knowledge bases
|
| SyntacticRandomSampler |
This sampler implements a random generation algorithm for generating formulas, based on
the syntax tree of propositional formulas.
|
| TextfileIterator |
Enumerates all belief bases from a text file; the file contains one
belief base per line.
|