Uses of Interface
net.sf.tweety.arg.adf.semantics.link.Link
-
Packages that use Link Package Description net.sf.tweety.arg.adf.reasoner.sat.encodings net.sf.tweety.arg.adf.semantics.link net.sf.tweety.arg.adf.syntax.adf -
-
Uses of Link in net.sf.tweety.arg.adf.reasoner.sat.encodings
Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type Link Modifier and Type Method Description Proposition
PropositionalMapping. getLink(Link link)
Constructors in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type Link Constructor Description RelativeBipolarSatEncoding(Interpretation interpretation, Link link)
Constructor parameters in net.sf.tweety.arg.adf.reasoner.sat.encodings with type arguments of type Link Constructor Description RelativeKBipolarSatEncoding(java.util.Map<Link,java.util.Set<Interpretation>> interpretations)
-
Uses of Link in net.sf.tweety.arg.adf.semantics.link
Classes in net.sf.tweety.arg.adf.semantics.link that implement Link Modifier and Type Class Description class
SimpleLink
A simple immutable representation of ADF links. -
Uses of Link in net.sf.tweety.arg.adf.syntax.adf
Methods in net.sf.tweety.arg.adf.syntax.adf that return Link Modifier and Type Method Description Link
AbstractDialecticalFramework. link(Argument parent, Argument child)
Computes the link (parent, child) iff necessary and returns it afterwards.Link
ExtendedAbstractDialecticalFramework. link(Argument parent, Argument child)
Link
GraphAbstractDialecticalFramework. link(Argument parent, Argument child)
Methods in net.sf.tweety.arg.adf.syntax.adf that return types with arguments of type Link Modifier and Type Method Description java.util.Set<Link>
AbstractDialecticalFramework. links()
If the caller just consumes some of the links, the methodAbstractDialecticalFramework.linksStream()
should be preferred to this one.java.util.Set<Link>
ExtendedAbstractDialecticalFramework. links()
java.util.Set<Link>
GraphAbstractDialecticalFramework. links()
java.util.Set<Link>
AbstractDialecticalFramework. linksFrom(Argument parent)
java.util.Set<Link>
ExtendedAbstractDialecticalFramework. linksFrom(Argument parent)
java.util.Set<Link>
GraphAbstractDialecticalFramework. linksFrom(Argument parent)
default java.util.stream.Stream<Link>
AbstractDialecticalFramework. linksStream()
If the caller just consumes some links, this method should be used.java.util.stream.Stream<Link>
ExtendedAbstractDialecticalFramework. linksStream()
java.util.stream.Stream<Link>
GraphAbstractDialecticalFramework. linksStream()
java.util.Set<Link>
AbstractDialecticalFramework. linksTo(Argument child)
java.util.Set<Link>
ExtendedAbstractDialecticalFramework. linksTo(Argument child)
java.util.Set<Link>
GraphAbstractDialecticalFramework. linksTo(Argument child)
Methods in net.sf.tweety.arg.adf.syntax.adf with parameters of type Link Modifier and Type Method Description AbstractDialecticalFramework.Builder
AbstractDialecticalFramework.Builder. add(Link link)
-