Package org.tweetyproject.logics.pl.util
package org.tweetyproject.logics.pl.util

ClassDescriptionProvides an iterator on all syntactically equivalent knowledge bases.This class generates SAT encodings for cardinality constraints.A simple sampler for propositional belief bases.Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size.A sampler for uniform random kSAT instances.Generates all syntactic variations of knowledge basesThis sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.Enumerates all belief bases from a text file; the file contains one belief base per line.