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.

Fields in net.sf.tweety.agents.dialogues.structured declared as StructuredArgumentationFramework
Modifier and Type	Field	Description
`private StructuredArgumentationFramework`	SasAgent.`commonView`	The current state of the argumentation as perceived by all agents.
`private StructuredArgumentationFramework`	SasAgent.`view`	The current view of this agent on the overall argumentation, i.e.

Methods in net.sf.tweety.agents.dialogues.structured that return StructuredArgumentationFramework
Modifier and Type	Method	Description
`protected StructuredArgumentationFramework`	SasAgent.`getCommonView()`	Returns the common view of this agent.
`protected StructuredArgumentationFramework`	SasAgent.`getView()`	Returns the view of this agent.

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()