Uses of Class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework

Packages that use StructuredArgumentationFramework
Package	Description
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.saf.reasoner
net.sf.tweety.arg.saf.syntax
net.sf.tweety.arg.saf.util

Uses of StructuredArgumentationFramework in net.sf.tweety.agents.dialogues.structured

Subclasses of StructuredArgumentationFramework in net.sf.tweety.agents.dialogues.structured
Modifier and Type	Class	Description
`class`	`PerceivableStructuredArgumentationFramework`	This class packs a structured argumentation framework into a perceivable object.

Constructors in net.sf.tweety.agents.dialogues.structured with parameters of type StructuredArgumentationFramework
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 net.sf.tweety.arg.saf.reasoner

Methods in net.sf.tweety.arg.saf.reasoner with parameters of type StructuredArgumentationFramework
Modifier and Type	Method	Description
`java.util.Set<Proposition>`	OutputReasoner.`getOutput(StructuredArgumentationFramework saf)`	Returns the output this reasoner bases upon.
`java.lang.Boolean`	OutputReasoner.`query(StructuredArgumentationFramework beliefbase, Proposition formula)`

Uses of StructuredArgumentationFramework in net.sf.tweety.arg.saf.syntax

Methods in net.sf.tweety.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 net.sf.tweety.arg.saf.util

Methods in net.sf.tweety.arg.saf.util that return StructuredArgumentationFramework
Modifier and Type Method Description

StructuredArgumentationFramework SimpleSafSampler.next()