Uses of Class
org.tweetyproject.arg.caf.syntax.ConstrainedArgumentationFramework

Packages that use ConstrainedArgumentationFramework

Package	Description
org.tweetyproject.arg.caf.reasoner
org.tweetyproject.arg.caf.syntax
org.tweetyproject.arg.caf.util
org.tweetyproject.arg.caf.writer

Uses of ConstrainedArgumentationFramework in org.tweetyproject.arg.caf.reasoner

Methods in org.tweetyproject.arg.caf.reasoner that return types with arguments of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	SimpleCAFAdmissibleReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-admissible extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFGroundedReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes the C-grounded extension for the given constrained argumentation framework if it exists.
Extension<ConstrainedArgumentationFramework>	SimpleCAFPreferredReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-preferred extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFStableReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-stable extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFWeakGroundedReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFAdmissibleReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-admissible extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFGroundedReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes the C-grounded extension for the given constrained argumentation framework if it exists.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFPreferredReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-preferred extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFStableReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-stable extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFWeakGroundedReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.

Methods in org.tweetyproject.arg.caf.reasoner with parameters of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	SimpleCAFAdmissibleReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-admissible extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFGroundedReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes the C-grounded extension for the given constrained argumentation framework if it exists.
Extension<ConstrainedArgumentationFramework>	SimpleCAFPreferredReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-preferred extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFStableReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes one C-stable extensions for the given constrained argumentation framework.
Extension<ConstrainedArgumentationFramework>	SimpleCAFWeakGroundedReasoner.getModel(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFAdmissibleReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-admissible extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFGroundedReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes the C-grounded extension for the given constrained argumentation framework if it exists.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFPreferredReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-preferred extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFStableReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes all C-stable extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	SimpleCAFWeakGroundedReasoner.getModels(ConstrainedArgumentationFramework bbase)	Computes the Weak C-extension for the given constrained argumentation framework if it exists.
Boolean	AbstractCAFReasoner.query(ConstrainedArgumentationFramework beliefbase, Argument formula)
Boolean	AbstractCAFReasoner.query(ConstrainedArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Uses of ConstrainedArgumentationFramework in org.tweetyproject.arg.caf.syntax

Methods in org.tweetyproject.arg.caf.syntax that return types with arguments of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	ConstrainedArgumentationFramework.fcaf(Extension<ConstrainedArgumentationFramework> extension)	The characteristic function of a constrained argumentation framework: F_CAF(S) = {A | A is acceptable w.r.t.
Extension<ConstrainedArgumentationFramework>	ConstrainedArgumentationFramework.fcafIteration(Extension<ConstrainedArgumentationFramework> S)	Determines the least fixed point of the C-characteristic function of the CAF, starting from extension S.
Extension<ConstrainedArgumentationFramework>	ConstrainedArgumentationFramework.getLeastElement()	Determines the least element of the admissible sets of this CAF.

Method parameters in org.tweetyproject.arg.caf.syntax with type arguments of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	ConstrainedArgumentationFramework.fcaf(Extension<ConstrainedArgumentationFramework> extension)	The characteristic function of a constrained argumentation framework: F_CAF(S) = {A | A is acceptable w.r.t.
Extension<ConstrainedArgumentationFramework>	ConstrainedArgumentationFramework.fcafIteration(Extension<ConstrainedArgumentationFramework> S)	Determines the least fixed point of the C-characteristic function of the CAF, starting from extension S.
boolean	ConstrainedArgumentationFramework.isCAdmissibleSet(Extension<ConstrainedArgumentationFramework> ext)	Checks whether the given extension is C-admissible, meaning that it is both admissible according to the standard Dung theory and satisfies the current constraint.
boolean	ConstrainedArgumentationFramework.isCompletion(Extension<ConstrainedArgumentationFramework> ext)	Checks whether the given extension forms a completion based on the argumentation framework and its constraint.
boolean	ConstrainedArgumentationFramework.isPreferredCExtension(Extension<ConstrainedArgumentationFramework> ext)	Checks whether the given extension is a preferred C-extension, meaning it is a set-maximal C-admissible extension
boolean	ConstrainedArgumentationFramework.isStableCExtension(Extension<ConstrainedArgumentationFramework> ext)	Checks whether the given extension is a stable C-extension, meaning it is C-admissible and attacks every argument not included in the extension.

Uses of ConstrainedArgumentationFramework in org.tweetyproject.arg.caf.util

Methods in org.tweetyproject.arg.caf.util that return ConstrainedArgumentationFramework

Modifier and Type	Method	Description
ConstrainedArgumentationFramework	CafTheoryGenerator.next()	Generates a new CAF using a randomly generated constraint.

Methods in org.tweetyproject.arg.caf.util that return types with arguments of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
ArrayList<ConstrainedArgumentationFramework>	CafTheoryGenerator.next(int numCAFs)	Generates numCAFs CAFs, each with a different randomly generated constraint.
ArrayList<ConstrainedArgumentationFramework>	CafTheoryGenerator.next(DungTheory theory, int numCAFs)	Generates numCAFs CAFs, each with a different randomly generated constraint.

Uses of ConstrainedArgumentationFramework in org.tweetyproject.arg.caf.writer

Methods in org.tweetyproject.arg.caf.writer with parameters of type ConstrainedArgumentationFramework

Modifier and Type	Method	Description
abstract void	AbstractCafWriter.write(ConstrainedArgumentationFramework caf, File f)	Writes the given file into an abstract argumentation framework
void	CafApxWriter.write(ConstrainedArgumentationFramework caf, File f)	Writes the constrained argumentation framework to a file.
void	CafCnfWriter.write(ConstrainedArgumentationFramework caf, File f)
void	CafTgfWriter.write(ConstrainedArgumentationFramework caf, File f)	Writes the constrained argumentation framework to a file.