Class SatLinkStrategy
java.lang.Object
org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
- All Implemented Interfaces:
LinkStrategy
Computes the LinkType via two Sat-calls.
- Author:
- Mathias Hofer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptioncompute
(Argument parent, AcceptanceCondition childAcc) compute
(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
-
Constructor Details
-
SatLinkStrategy
- Parameters:
solver
- solver
-
-
Method Details
-
compute
- Specified by:
compute
in interfaceLinkStrategy
- Parameters:
parent
- parentchildAcc
- childAcc- Returns:
- LinkType compute
-
compute
- Specified by:
compute
in interfaceLinkStrategy
- Parameters:
parent
- parentchildAcc
- childAccassumption
- assumption- Returns:
- LinkType compute
-