Uses of Class
org.tweetyproject.arg.eaf.syntax.EpistemicArgumentationFramework

Packages that use EpistemicArgumentationFramework

Package	Description
org.tweetyproject.arg.eaf.reasoner
org.tweetyproject.arg.eaf.util
org.tweetyproject.arg.eaf.writer

Uses of EpistemicArgumentationFramework in org.tweetyproject.arg.eaf.reasoner

Classes in org.tweetyproject.arg.eaf.reasoner that implement interfaces with type arguments of type EpistemicArgumentationFramework

Modifier and Type	Class	Description
class	AbstractEAFReasoner	Ancestor class for EAF reasoners
class	AbstractEAFReasoner	Ancestor class for EAF reasoners
class	AbstractEAFReasoner	Ancestor class for EAF reasoners

Methods in org.tweetyproject.arg.eaf.reasoner that return EpistemicArgumentationFramework

Modifier and Type	Method	Description
EpistemicArgumentationFramework	EAFAgreementReasoner.changeEAF(int index, EpistemicArgumentationFramework newEAF)	Replace an EAF at a specific index with a new EAF
EpistemicArgumentationFramework	EAFAgreementReasoner.removeEAF(int index)	Remove an EAF by its index

Methods in org.tweetyproject.arg.eaf.reasoner that return types with arguments of type EpistemicArgumentationFramework

Modifier and Type	Method	Description
List<EpistemicArgumentationFramework>	EAFAgreementReasoner.getEAFs()	Get a list of all EAFs in the reasoner
Extension<EpistemicArgumentationFramework>	AbstractEAFReasoner.getModel(EpistemicArgumentationFramework bbase, Semantics semantics)	Computes one extension that satisfies the epistemic constraint of the EAF for the specified semantics.
Extension<EpistemicArgumentationFramework>	SimpleEAFAdmissibleReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one admissible extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFCompleteReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one complete extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFGroundedReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one grounded extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFPreferredReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one preferred extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFStableReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one stable extension that satisfies the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	AbstractEAFReasoner.getModels(EpistemicArgumentationFramework bbase, Semantics semantics)	Computes all admissible extensions that satisfy the epistemic constraint of the EAF for the specified semantics.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFAdmissibleReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all admissible extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFCompleteReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all complete extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFGroundedReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all grounded extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFPreferredReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all preferred extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFStableReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all stable extensions that satisfy the epistemic constraint of the EAF.

Methods in org.tweetyproject.arg.eaf.reasoner with parameters of type EpistemicArgumentationFramework

Modifier and Type	Method	Description
boolean	EAFAgreementReasoner.addEAF(EpistemicArgumentationFramework eaf)	Add another EAF with the same underlying AF
EpistemicArgumentationFramework	EAFAgreementReasoner.changeEAF(int index, EpistemicArgumentationFramework newEAF)	Replace an EAF at a specific index with a new EAF
boolean	EAFAgreementReasoner.changeEAF(EpistemicArgumentationFramework oldEAF, EpistemicArgumentationFramework newEAF)	Replace an EAF with a new one.
Extension<EpistemicArgumentationFramework>	AbstractEAFReasoner.getModel(EpistemicArgumentationFramework bbase, Semantics semantics)	Computes one extension that satisfies the epistemic constraint of the EAF for the specified semantics.
Extension<EpistemicArgumentationFramework>	SimpleEAFAdmissibleReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one admissible extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFCompleteReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one complete extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFGroundedReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one grounded extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFPreferredReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one preferred extension that satisfies the epistemic constraint of the EAF.
Extension<EpistemicArgumentationFramework>	SimpleEAFStableReasoner.getModel(EpistemicArgumentationFramework bbase)	Computes one stable extension that satisfies the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	AbstractEAFReasoner.getModels(EpistemicArgumentationFramework bbase, Semantics semantics)	Computes all admissible extensions that satisfy the epistemic constraint of the EAF for the specified semantics.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFAdmissibleReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all admissible extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFCompleteReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all complete extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFGroundedReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all grounded extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFPreferredReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all preferred extensions that satisfy the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	SimpleEAFStableReasoner.getModels(EpistemicArgumentationFramework bbase)	Computes all stable extensions that satisfy the epistemic constraint of the EAF.
Boolean	AbstractEAFReasoner.query(EpistemicArgumentationFramework beliefbase, Argument formula)
Boolean	AbstractEAFReasoner.query(EpistemicArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
boolean	EAFAgreementReasoner.removeEAF(EpistemicArgumentationFramework eaf)	Remove a specific EAF from the reasoner

Constructors in org.tweetyproject.arg.eaf.reasoner with parameters of type EpistemicArgumentationFramework

Modifier	Constructor	Description
	EAFAgreementReasoner(EpistemicArgumentationFramework eaf)	Constructor with one initial EAF

Uses of EpistemicArgumentationFramework in org.tweetyproject.arg.eaf.util

Methods in org.tweetyproject.arg.eaf.util that return EpistemicArgumentationFramework

Modifier and Type	Method	Description
EpistemicArgumentationFramework	EafTheoryGenerator.next()	Generates a new EAF using a randomly generated constraint.

Methods in org.tweetyproject.arg.eaf.util that return types with arguments of type EpistemicArgumentationFramework

Modifier and Type	Method	Description
ArrayList<EpistemicArgumentationFramework>	EafTheoryGenerator.next(int numEAFs)	Generates numEAFs EAFs, each with a different randomly generated constraint.
ArrayList<EpistemicArgumentationFramework>	EafTheoryGenerator.next(DungTheory theory, int numEAFs)	Generates numEAFs EAFs, each with a different randomly generated constraint.

Uses of EpistemicArgumentationFramework in org.tweetyproject.arg.eaf.writer

Methods in org.tweetyproject.arg.eaf.writer with parameters of type EpistemicArgumentationFramework

Modifier and Type	Method	Description
abstract void	AbstractEafWriter.write(EpistemicArgumentationFramework eaf, File f)	Writes the given epistemic argumentation framework to the specified file.
void	EafApxWriter.write(EpistemicArgumentationFramework eaf, File f)	Writes the constrained argumentation framework to a file.
void	EafCnfWriter.write(EpistemicArgumentationFramework eaf, File f)
void	EafTgfWriter.write(EpistemicArgumentationFramework eaf, File f)	Writes the constrained argumentation framework to a file.