Package org.tweetyproject.logics.pl.util

package org.tweetyproject.logics.pl.util

Classes

Class	Description
CanonicalIterator	Provides an iterator on all syntactically equivalent knowledge bases.
CardinalityConstraintEncoder	This class generates SAT encodings for cardinality constraints.
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
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.