Uses of Class
net.sf.tweety.arg.adf.semantics.Link
-
Packages that use Link Package Description net.sf.tweety.arg.adf.reasoner.encodings net.sf.tweety.arg.adf.semantics net.sf.tweety.arg.adf.syntax -
-
Uses of Link in net.sf.tweety.arg.adf.reasoner.encodings
Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Link Modifier and Type Method Description net.sf.tweety.logics.pl.syntax.PropositionSatEncodingContext. getLinkRepresentation(Link link) -
Uses of Link in net.sf.tweety.arg.adf.semantics
Methods in net.sf.tweety.arg.adf.semantics that return Link Modifier and Type Method Description LinkLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)LinkSatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b) -
Uses of Link in net.sf.tweety.arg.adf.syntax
Methods in net.sf.tweety.arg.adf.syntax that return Link Modifier and Type Method Description LinkAbstractDialecticalFramework. link(Argument a, Argument b)Computes the link (a,b) iff necessary and returns it afterwards.Methods in net.sf.tweety.arg.adf.syntax that return types with arguments of type Link Modifier and Type Method Description Stream<Link>AbstractDialecticalFramework. links()Stream<Link>AbstractDialecticalFramework. linksFromParents(Argument b)Stream<Link>AbstractDialecticalFramework. linksToChildren(Argument a)
-