Uses of Interface
org.tweetyproject.arg.adf.semantics.link.LinkStrategy
-
Packages that use LinkStrategy Package Description org.tweetyproject.arg.adf.io org.tweetyproject.arg.adf.reasoner.sat.verifier org.tweetyproject.arg.adf.semantics.link org.tweetyproject.arg.adf.syntax.adf -
-
Uses of LinkStrategy in org.tweetyproject.arg.adf.io
Constructors in org.tweetyproject.arg.adf.io with parameters of type LinkStrategy Constructor Description KppADFFormatParser(LinkStrategy linkStrategy, boolean lazy)
-
Uses of LinkStrategy in org.tweetyproject.arg.adf.reasoner.sat.verifier
Constructors in org.tweetyproject.arg.adf.reasoner.sat.verifier with parameters of type LinkStrategy Constructor Description GrounderStableVerifier(CandidateGenerator groundGenerator, LinkStrategy linkStrategy)
-
Uses of LinkStrategy in org.tweetyproject.arg.adf.semantics.link
Classes in org.tweetyproject.arg.adf.semantics.link that implement LinkStrategy Modifier and Type Class Description class
SatLinkStrategy
Computes the LinkType via two Sat-calls. -
Uses of LinkStrategy in org.tweetyproject.arg.adf.syntax.adf
Methods in org.tweetyproject.arg.adf.syntax.adf with parameters of type LinkStrategy Modifier and Type Method Description AbstractDialecticalFramework.Builder
AbstractDialecticalFramework.Builder. eager(LinkStrategy linkStrategy)
AbstractDialecticalFramework.Builder
AbstractDialecticalFramework.Builder. lazy(LinkStrategy linkStrategy)
-