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.DoubleIssReasoner. 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 booleanSocialMapping. satisfies(SocialAbstractArgumentationFramework beliefBase)
-