Uses of Class
org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework

Packages that use SocialAbstractArgumentationFramework

Package	Description
org.tweetyproject.arg.social.reasoner
org.tweetyproject.arg.social.semantics

Uses of SocialAbstractArgumentationFramework in org.tweetyproject.arg.social.reasoner

Classes in org.tweetyproject.arg.social.reasoner that implement interfaces with type arguments of type SocialAbstractArgumentationFramework

Modifier and Type	Class	Description
class	IssReasoner	This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.
class	IssReasoner	This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.

Methods in org.tweetyproject.arg.social.reasoner with parameters of type SocialAbstractArgumentationFramework

Modifier and Type	Method	Description
SocialMapping<Double>	IssReasoner.getModel(SocialAbstractArgumentationFramework bbase)
Collection<SocialMapping<Double>>	IssReasoner.getModels(SocialAbstractArgumentationFramework bbase)
Double	IssReasoner.query(SocialAbstractArgumentationFramework beliefbase, Argument formula)

Uses of SocialAbstractArgumentationFramework in org.tweetyproject.arg.social.semantics

Subclasses with type arguments of type SocialAbstractArgumentationFramework in org.tweetyproject.arg.social.semantics

Modifier and Type	Class	Description
class	SocialMapping<L>	Implements a mapping from arguments to social value.

Methods in org.tweetyproject.arg.social.semantics with parameters of type SocialAbstractArgumentationFramework

Modifier and Type	Method	Description
boolean	SocialMapping.satisfies(SocialAbstractArgumentationFramework beliefBase)