Uses of Interface
net.sf.tweety.commons.BeliefSetIterator
-
Packages that use BeliefSetIterator Package Description net.sf.tweety.arg.dung.util net.sf.tweety.arg.saf.util net.sf.tweety.commons net.sf.tweety.commons.postulates net.sf.tweety.logics.pl.util -
-
Uses of BeliefSetIterator in net.sf.tweety.arg.dung.util
Subinterfaces of BeliefSetIterator in net.sf.tweety.arg.dung.util Modifier and Type Interface Description interface
DungTheoryGenerator
Class implementing this interface provide the capability to generate Dung theories.Classes in net.sf.tweety.arg.dung.util that implement BeliefSetIterator Modifier and Type Class Description class
DefaultDungTheoryGenerator
Implements a customizable Dung theory generator.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
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 net.sf.tweety.arg.saf.util
Classes in net.sf.tweety.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 net.sf.tweety.commons
Classes in net.sf.tweety.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 net.sf.tweety.commons.postulates
Constructors in net.sf.tweety.commons.postulates with parameters of type BeliefSetIterator 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, java.util.Collection<Postulate<T>> postulates)
Creates a new evaluator for the given evaluatable and belief base generator. -
Uses of BeliefSetIterator in net.sf.tweety.logics.pl.util
Classes in net.sf.tweety.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 basesclass
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.
-