Uses of Interface
net.sf.tweety.arg.adf.semantics.link.LinkStrategy

Packages that use LinkStrategy

Package	Description
net.sf.tweety.arg.adf.parser
net.sf.tweety.arg.adf.reasoner.sat.verifier
net.sf.tweety.arg.adf.semantics.link
net.sf.tweety.arg.adf.syntax.adf

Uses of LinkStrategy in net.sf.tweety.arg.adf.parser

Constructors in net.sf.tweety.arg.adf.parser with parameters of type LinkStrategy

Constructor	Description
KppADFFormatParser(LinkStrategy linkStrategy, boolean lazy)

Uses of LinkStrategy in net.sf.tweety.arg.adf.reasoner.sat.verifier

Constructors in net.sf.tweety.arg.adf.reasoner.sat.verifier with parameters of type LinkStrategy

Constructor	Description
GrounderStableVerifier(CandidateGenerator groundGenerator, LinkStrategy linkStrategy)

Uses of LinkStrategy in net.sf.tweety.arg.adf.semantics.link

Classes in net.sf.tweety.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 net.sf.tweety.arg.adf.syntax.adf

Methods in net.sf.tweety.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)