Class RestrictedKBipolarSatEncoding
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedKBipolarSatEncoding
- All Implemented Interfaces:
SatEncoding
- Author:
- Mathias Hofer
-
Constructor Summary
ConstructorDescriptionRestrictedKBipolarSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) -
Method Summary
-
Constructor Details
-
RestrictedKBipolarSatEncoding
public RestrictedKBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) - Parameters:
adf
- adfmapping
- mappingpartial
- Interpretation
-
-
Method Details
-
encode
- Specified by:
encode
in interfaceSatEncoding
- Parameters:
consumer
- consumer
-