Uses of Class
org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework

Packages that use StructuredArgumentationFramework

Package	Description
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.saf.reasoner
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.saf.util

Uses of StructuredArgumentationFramework in org.tweetyproject.agents.dialogues.structured

Subclasses of StructuredArgumentationFramework in org.tweetyproject.agents.dialogues.structured

Modifier and Type	Class	Description
class	PerceivableStructuredArgumentationFramework	This class packs a structured argumentation framework into a perceivable object.

Constructors in org.tweetyproject.agents.dialogues.structured with parameters of type StructuredArgumentationFramework

Modifier	Constructor	Description
	CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)	Creates a new agent with the given (local) view and utility function.
	CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)	Creates a new (non-single-step) agent with the given (local) view and utility function.
	OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)	Creates a new agent with the given (local) view and utility function.
	OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)	Creates a new (non-single-step) agent with the given (local) view and utility function.
	SasAgent(StructuredArgumentationFramework view, UtilityFunction utility)	Creates a new (non-single-step) SasAgent with the given (local) view and utility function.
	SasAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep)	Creates a new SasAgent with the given (local) view and utility function.
	TruthfulArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility)	Creates a new (non-single-step) agent with the given (local) view and utility function.
	TruthfulArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep)	Creates a new agent with the given (local) view and utility function.

Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.reasoner

Classes in org.tweetyproject.arg.saf.reasoner that implement interfaces with type arguments of type StructuredArgumentationFramework

Modifier and Type	Class	Description
class	OutputReasoner	This class models an abstract reasoner for structured argumentation frameworks.

Methods in org.tweetyproject.arg.saf.reasoner with parameters of type StructuredArgumentationFramework

Modifier and Type	Method	Description
Set<Proposition>	OutputReasoner.getOutput(StructuredArgumentationFramework saf)	Returns the output this reasoner bases upon.
Boolean	OutputReasoner.query(StructuredArgumentationFramework beliefbase, Proposition formula)

Uses of StructuredArgumentationFramework in org.tweetyproject.arg.saf.syntax

Methods in org.tweetyproject.arg.saf.syntax with parameters of type StructuredArgumentationFramework

Modifier and Type	Method	Description
boolean	ArgumentStructure.attacks(ArgumentStructure other, StructuredArgumentationFramework saf)	Checks whether this argument structure attacks the other argument structure, i.e.
boolean	ArgumentStructure.isValid(StructuredArgumentationFramework saf)	Checks whether this argument structure is valid wrt.

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

Subclasses with type arguments of type StructuredArgumentationFramework in org.tweetyproject.arg.saf.util

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

Methods in org.tweetyproject.arg.saf.util that return StructuredArgumentationFramework

Modifier and Type	Method	Description
StructuredArgumentationFramework	SimpleSafSampler.next()