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 java.lang.Object
implements LinkStrategy

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

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private SatSolver	solver

Constructor Summary

Constructors

Constructor	Description
SatLinkStrategy(SatSolver solver)

Method Summary

Modifier and Type	Method	Description
Link	compute(AbstractDialecticalFramework adf, Argument a, Argument b)
private boolean	isAttacking(PlFormula from, PlFormula toAcc, java.util.Collection<PlFormula> clauses)
private boolean	isSupporting(PlFormula from, PlFormula toAcc, java.util.Collection<PlFormula> clauses)

Methods inherited from class java.lang.Object

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

Field Detail

solver

private SatSolver solver

Constructor Detail

SatLinkStrategy

public SatLinkStrategy(SatSolver solver)

Method Detail

compute

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

Specified by:

compute in interface LinkStrategy

isAttacking

private boolean isAttacking(PlFormula from,
                            PlFormula toAcc,
                            java.util.Collection<PlFormula> clauses)

isSupporting

private boolean isSupporting(PlFormula from,
                             PlFormula toAcc,
                             java.util.Collection<PlFormula> clauses)