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 PropositionPropositionalMapping. 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 classSimpleLinkA 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 LinkAbstractDialecticalFramework. link(Argument parent, Argument child)Computes the link (parent, child) iff necessary and returns it afterwards.LinkExtendedAbstractDialecticalFramework. link(Argument parent, Argument child)LinkGraphAbstractDialecticalFramework. 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.BuilderAbstractDialecticalFramework.Builder. add(Link link)
-