Uses of Class
net.sf.tweety.arg.adf.semantics.Link
-
Packages that use Link Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.syntax -
-
Uses of Link in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner with type parameters of type Link Modifier and Type Field Description private Cache<Link,Proposition>
SatEncoding. links
Methods in net.sf.tweety.arg.adf.reasoner that return Link Modifier and Type Method Description Link
LinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link
SatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
-
Uses of Link in net.sf.tweety.arg.adf.syntax
Fields in net.sf.tweety.arg.adf.syntax with type parameters of type Link Modifier and Type Field Description private Cache<Pair<Argument,Argument>,Link>
AbstractDialecticalFramework. linkCache
Methods in net.sf.tweety.arg.adf.syntax that return Link Modifier and Type Method Description Link
AbstractDialecticalFramework. 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 java.util.stream.Stream<Link>
AbstractDialecticalFramework. links()
java.util.stream.Stream<Link>
AbstractDialecticalFramework. linksToChildren(Argument a)
TODO define functionalityjava.util.stream.Stream<Link>
AbstractDialecticalFramework. linksToParent(Argument b)
TODO define functionalityMethods in net.sf.tweety.arg.adf.syntax with parameters of type Link Modifier and Type Method Description void
AbstractDialecticalFramework. setLink(Link link)
-