Uses of Interface
org.tweetyproject.commons.BeliefSetIterator

Packages that use BeliefSetIterator

Package	Description
org.tweetyproject.arg.dung.util
org.tweetyproject.arg.saf.util
org.tweetyproject.commons
org.tweetyproject.commons.postulates
org.tweetyproject.logics.pl.util

Uses of BeliefSetIterator in org.tweetyproject.arg.dung.util

Subinterfaces of BeliefSetIterator in org.tweetyproject.arg.dung.util

Modifier and Type	Interface	Description
interface	DungTheoryGenerator	Class implementing this interface provide the capability to generate Dung theories.

Classes in org.tweetyproject.arg.dung.util that implement BeliefSetIterator

Modifier and Type	Class	Description
class	DefaultDungTheoryGenerator	Implements a customizable Dung theory generator.
class	EnumeratingDilationGenerator	This class is responsible for dilating a specified original abstract argumentation framework by adding new arguments and new attacks, while conserving the original framwork.
class	EnumeratingDungTheoryGenerator	This generator generators all possible Dung argumentation theories.
class	FileDungTheoryGenerator	This generator receives a list of files containing Dung theories and returns those step by step.
class	IsoSafeEnumeratingDungTheoryGenerator	This generator generators all possible Dung argumentation theories (modulo graph isomorphism).
class	KwtDungTheoryGenerator	Creates AAFs with a complex structure for tasks related to skeptical reasoning wrt.
class	PodlaszewskiCaminadaDungTheoryGenerator	This generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski.

Uses of BeliefSetIterator in org.tweetyproject.arg.saf.util

Classes in org.tweetyproject.arg.saf.util that implement BeliefSetIterator

Modifier and Type	Class	Description
class	SimpleSafSampler	This class implements a belief base sampler for structured argumentation frameworks.

Uses of BeliefSetIterator in org.tweetyproject.commons

Classes in org.tweetyproject.commons that implement BeliefSetIterator

Modifier and Type	Class	Description
class	BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>>	This abstract class models a random sampler for belief sets.

Uses of BeliefSetIterator in org.tweetyproject.commons.postulates

Constructors in org.tweetyproject.commons.postulates with parameters of type BeliefSetIterator

Modifier	Constructor	Description
	PostulateEvaluator(BeliefSetIterator<T,U> iterator, PostulateEvaluatable<T> ev)	Creates a new evaluator for the given evaluatable and belief base generator.
	PostulateEvaluator(BeliefSetIterator<T,U> iterator, PostulateEvaluatable<T> ev, Collection<Postulate<T>> postulates)	Creates a new evaluator for the given evaluatable and belief base generator.

Uses of BeliefSetIterator in org.tweetyproject.logics.pl.util

Classes in org.tweetyproject.logics.pl.util that implement BeliefSetIterator

Modifier and Type	Class	Description
class	CanonicalIterator	Provides an iterator on all syntactically equivalent knowledge bases.
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	EnumeratingIterator
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	SyntacticEnumeratingIterator	Generates all syntactic variations of knowledge bases
class	SyntacticRandomSampler	This sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.
class	TextfileIterator	Enumerates all belief bases from a text file; the file contains one belief base per line.