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
Fields in net.sf.tweety.arg.adf.reasoner.encodings with type parameters of type Link Modifier and Type Field Description private Cache<Link,Proposition>SatEncodingContext. linksMethods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Link Modifier and Type Method Description 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
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. linkCacheMethods 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 java.util.stream.Stream<Link>AbstractDialecticalFramework. links()java.util.stream.Stream<Link>AbstractDialecticalFramework. linksFromParents(Argument b)java.util.stream.Stream<Link>AbstractDialecticalFramework. linksToChildren(Argument a)
-