Package org.tweetyproject.arg.adf.semantics.link

Class 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)	Computes the type of link between a parent argument and its child's acceptance condition.
LinkType	compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)	Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional 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)

Description copied from interface: LinkStrategy

Computes the type of link between a parent argument and its child's acceptance condition.

Specified by:

compute in interface LinkStrategy

Parameters:

parent - the parent argument in the argumentation framework

childAcc - the acceptance condition of the child argument

Returns:

the computed LinkType representing the relationship between the parent argument and the child's acceptance condition

compute

public LinkType compute(Argument parent,
 AcceptanceCondition childAcc,
 Interpretation assumption)

Description copied from interface: LinkStrategy

Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional assumption.

Specified by:

compute in interface LinkStrategy

Parameters:

parent - the parent argument in the argumentation framework

childAcc - the acceptance condition of the child argument

assumption - the assumption or interpretation that may influence the computation of the link type

Returns:

the computed LinkType representing the relationship between the parent argument, the child's acceptance condition, and the given assumption