Uses of Class
net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework

Packages that use SocialAbstractArgumentationFramework

Package	Description
net.sf.tweety.arg.social.reasoner
net.sf.tweety.arg.social.semantics

Uses of SocialAbstractArgumentationFramework in net.sf.tweety.arg.social.reasoner

Methods in net.sf.tweety.arg.social.reasoner with parameters of type SocialAbstractArgumentationFramework

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

Uses of SocialAbstractArgumentationFramework in net.sf.tweety.arg.social.semantics

Methods in net.sf.tweety.arg.social.semantics with parameters of type SocialAbstractArgumentationFramework

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