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 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 net.sf.tweety.arg.social.semantics
Methods in net.sf.tweety.arg.social.semantics with parameters of type SocialAbstractArgumentationFramework Modifier and Type Method Description booleanSocialMapping. satisfies(SocialAbstractArgumentationFramework beliefBase)
-