Uses of Class
org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
-
Uses of SocialAbstractArgumentationFramework in org.tweetyproject.arg.social.reasoner
Modifier and TypeMethodDescriptionIssReasoner.getModel(SocialAbstractArgumentationFramework bbase)
IssReasoner.getModels(SocialAbstractArgumentationFramework bbase)
IssReasoner.query(SocialAbstractArgumentationFramework beliefbase, Argument formula)
-
Uses of SocialAbstractArgumentationFramework in org.tweetyproject.arg.social.semantics
Modifier and TypeMethodDescriptionboolean
SocialMapping.satisfies(SocialAbstractArgumentationFramework beliefBase)