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
-
-
Method Details
-
compute
- Specified by:
compute
in interfaceLinkStrategy
-
compute
- Specified by:
compute
in interfaceLinkStrategy
-