Class RelativeBipolarSatEncoding
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeBipolarSatEncoding
- All Implemented Interfaces:
SatEncoding
- Author:
- Mathias Hofer
-
Constructor Summary
ConstructorDescriptionRelativeBipolarSatEncoding(Interpretation interpretation, Link link, PropositionalMapping mapping)
-
Method Summary
-
Constructor Details
-
RelativeBipolarSatEncoding
public RelativeBipolarSatEncoding(Interpretation interpretation, Link link, PropositionalMapping mapping)- Parameters:
interpretation
- interpretationlink
- linkmapping
- mapping
-
-
Method Details
-
encode
- Specified by:
encode
in interfaceSatEncoding
- Parameters:
consumer
- consumer
-