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.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 Description boolean
SocialMapping. satisfies(SocialAbstractArgumentationFramework beliefBase)
-