Package net.sf.tweety.arg.adf.semantics

Class SatLinkStrategy

java.lang.Object

net.sf.tweety.arg.adf.semantics.SatLinkStrategy

All Implemented Interfaces:

LinkStrategy

public class SatLinkStrategy
extends Object
implements LinkStrategy

Computes the LinkType via two Sat-calls. Is stateless if the given SatSolver is.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatLinkStrategy(net.sf.tweety.logics.pl.sat.SatSolver solver)

Method Summary

Modifier and Type	Method	Description
Link	compute(AbstractDialecticalFramework adf, Argument a, Argument b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SatLinkStrategy

public SatLinkStrategy(net.sf.tweety.logics.pl.sat.SatSolver solver)

Method Detail

compute

public Link compute(AbstractDialecticalFramework adf,
                    Argument a,
                    Argument b)

Specified by:

compute in interface LinkStrategy