Class SatLinkStrategy
- java.lang.Object
-
- net.sf.tweety.arg.adf.semantics.link.SatLinkStrategy
-
- All Implemented Interfaces:
LinkStrategy
public final class SatLinkStrategy extends java.lang.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)
-
-
-
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 usedassumption
- the assumption on which the link type is computed
-
-
Method Detail
-
compute
public LinkType compute(Argument parent, AcceptanceCondition childAcc)
- Specified by:
compute
in interfaceLinkStrategy
-
-