SatLinkStrategy

java.lang.Object

org.tweetyproject.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)
Method Summary

Modifier and Type

Method

Description

LinkType

compute(Argument parent, AcceptanceCondition childAcc)

LinkType

compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SatLinkStrategy
  
  public SatLinkStrategy(IncrementalSatSolver solver)
  
  Parameters:
  
  solver - solver
Method Details
- compute
  
  public LinkType compute(Argument parent, AcceptanceCondition childAcc)
  
  Specified by:
  
  compute in interface LinkStrategy
  
  Parameters:
  
  parent - parent
  
  childAcc - childAcc
  
  Returns:
  
  LinkType compute
- compute
  
  public LinkType compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
  
  Specified by:
  
  compute in interface LinkStrategy
  
  Parameters:
  
  parent - parent
  
  childAcc - childAcc
  
  assumption - assumption
  
  Returns:
  
  LinkType compute