SatLinkStrategy (Tweety (ADF Library) 1.17 API)

java.lang.Object
- net.sf.tweety.arg.adf.semantics.link.SatLinkStrategy

All Implemented Interfaces:

LinkStrategy
```
public final class SatLinkStrategy
extends Object
implements LinkStrategy
```
Computes the LinkType via two Sat-calls.

Author:

Mathias Hofer

Constructor Summary

Constructors
Constructor	Description
`SatLinkStrategy(IncrementalSatSolver solver)`
`SatLinkStrategy(IncrementalSatSolver solver, Interpretation assumption)`	Computes the link type based on the two-valued assignments of the given assumption.

Method Summary

Modifier and Type Method Description

LinkType compute(Argument parent, AcceptanceCondition childAcc)
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- SatLinkStrategy
```
public SatLinkStrategy(IncrementalSatSolver solver)
```
- SatLinkStrategy
```
public SatLinkStrategy(IncrementalSatSolver solver,
                       Interpretation assumption)
```
  Computes the link type based on the two-valued assignments of the given assumption.
  
  Parameters:
  
  solver - the incremental sat solver to be used
  
  assumption - the assumption on which the link type is computed

Method Detail

compute

public LinkType compute(Argument parent,
                        AcceptanceCondition childAcc)

Specified by:: compute in interface LinkStrategy