Uses of Interface
net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework

Packages that use AbstractDialecticalFramework

Package	Description
net.sf.tweety.arg.adf.parser
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.ordering
net.sf.tweety.arg.adf.reasoner.sat
net.sf.tweety.arg.adf.reasoner.sat.encodings
net.sf.tweety.arg.adf.reasoner.sat.generator
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.reasoner.sat.verifier
net.sf.tweety.arg.adf.semantics.interpretation
net.sf.tweety.arg.adf.syntax.adf

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.parser

Methods in net.sf.tweety.arg.adf.parser that return AbstractDialecticalFramework

Modifier and Type	Method	Description
AbstractDialecticalFramework	KppADFFormatParser.parseBeliefBase(Reader reader)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Interpretation	AbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework adf)
Collection<Interpretation>	AbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework adf)
Iterator<Interpretation>	AbstractDialecticalFrameworkReasoner.modelIterator(AbstractDialecticalFramework adf)
Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework beliefbase, Argument formula)
Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework adf, Argument argument, net.sf.tweety.commons.InferenceMode inferenceMode)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.ordering

Methods in net.sf.tweety.arg.adf.reasoner.ordering with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
protected abstract int	AbstractOrdering.compare(T o1, T o2, AbstractDialecticalFramework adf)
protected int	ArgumentDegreeOrdering.compare(Argument a1, Argument a2, AbstractDialecticalFramework adf)
List<T>	AbstractOrdering.order(AbstractDialecticalFramework adf)
List<T>	Ordering.order(AbstractDialecticalFramework adf)
protected abstract Stream<T>	AbstractOrdering.stream(AbstractDialecticalFramework adf)
protected Stream<Argument>	ArgumentDegreeOrdering.stream(AbstractDialecticalFramework adf)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.arg.adf.reasoner.sat with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Iterator<Interpretation>	Pipeline.iterator(AbstractDialecticalFramework adf)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat.encodings

Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
void	BipolarSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	ConflictFreeInterpretationSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	FixPartialSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	KBipolarSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	LargerInterpretationSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RefineLargerSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RefineUnequalSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	RelativeBipolarSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	RelativeKBipolarSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default void	SatEncoding.encode(Collection<net.sf.tweety.logics.pl.syntax.Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	SatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	SatEncoding.encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	TwoValuedModelSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void	VerifyAdmissibleSatEncoding.encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)

Constructors in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type AbstractDialecticalFramework

Constructor	Description
PropositionalMapping(AbstractDialecticalFramework adf)	Creates propositional representations for the arguments and links of the provided ADF.

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat.generator

Methods in net.sf.tweety.arg.adf.reasoner.sat.generator with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
Interpretation	CandidateGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Interpretation	GroundGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	ModelGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
void	CandidateGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Performs initializations on the state.
void	ConflictFreeGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GroundGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	ModelGenerator.initialize(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat.processor

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
protected abstract List<Argument>	RelativeKBipolarStateProcessor.arguments(AbstractDialecticalFramework adf)
Interpretation	InterpretationProcessor.process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)	Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.
void	KBipolarStateProcessor.process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	MaximizeInterpretationProcessor.process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void	RelativeKBipolarStateProcessor.process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	StateProcessor.process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	InterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation processed, AbstractDialecticalFramework adf)	This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.
void	MaximizeInterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat.verifier

Methods in net.sf.tweety.arg.adf.reasoner.sat.verifier with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
boolean	AdmissibleVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	CompleteVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	GrounderStableVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	Verifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)	Gets called after every verify call.
void	AdmissibleVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	CompleteVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GrounderStableVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	Verifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Gets called exactly once for each SatSolverState before the first use in verify.
boolean	AdmissibleVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	CompleteVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	GrounderStableVerifier.verify(SatSolverState state, PropositionalMapping encodingContext, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	Verifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)	Gets called by the Pipeline to verify if the computed candidate Interpretation asserts a certain property.

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.semantics.interpretation

Methods in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
static Interpretation.Builder	Interpretation.builder(AbstractDialecticalFramework adf)
static Interpretation	Interpretation.empty(AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromSet(Set<Argument> satisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation	Interpretation.fromWitness(net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
static Interpretation	Interpretation.partial(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Iterator<Interpretation>	Interpretation.partials(List<Argument> arguments, AbstractDialecticalFramework adf)	Goes through all possible partial interpretations respecting the order of the given list of arguments.
static Interpretation	Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)	Returns an interpretation relative to adf with a single truth value decided.

Constructors in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type AbstractDialecticalFramework

Constructor	Description
EmptyInterpretation(AbstractDialecticalFramework adf)	An empty interpretation relative to the given ADF
SingleValuedInterpretation(Argument argument, boolean value, AbstractDialecticalFramework adf)

Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.syntax.adf

Classes in net.sf.tweety.arg.adf.syntax.adf that implement AbstractDialecticalFramework

Modifier and Type	Class	Description
class	ExtendedAbstractDialecticalFramework	Extended in the sense of the addition of arguments and links to an existing ADF.
class	GraphAbstractDialecticalFramework	Internally represented as a graph-like structure.

Methods in net.sf.tweety.arg.adf.syntax.adf that return AbstractDialecticalFramework

Modifier and Type	Method	Description
AbstractDialecticalFramework	AbstractDialecticalFramework.Builder.build()
static AbstractDialecticalFramework	AbstractDialecticalFramework.empty()

Methods in net.sf.tweety.arg.adf.syntax.adf with parameters of type AbstractDialecticalFramework

Modifier and Type	Method	Description
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.copy(AbstractDialecticalFramework adf)	Creates a copy of the given AbstractDialecticalFramework, which can be modified before build() is called.
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.extend(AbstractDialecticalFramework adf)	Allows to add arguments and acceptance conditions.
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with transformed acceptance conditions.