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
Methods in org.tweetyproject.arg.social.reasoner with parameters of type SocialAbstractArgumentationFramework Modifier and Type Method 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 org.tweetyproject.arg.social.semantics
Methods in org.tweetyproject.arg.social.semantics with parameters of type SocialAbstractArgumentationFramework Modifier and Type Method Description boolean
SocialMapping. satisfies(SocialAbstractArgumentationFramework beliefBase)
-