Class RelativeKBipolarSatEncoding
- java.lang.Object
-
- org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeKBipolarSatEncoding
-
- All Implemented Interfaces:
SatEncoding
@Deprecated public class RelativeKBipolarSatEncoding extends java.lang.Object implements SatEncoding
Deprecated.- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description RelativeKBipolarSatEncoding(java.util.Map<Link,java.util.Set<Interpretation>> interpretations)
Deprecated.
-
Method Summary
Modifier and Type Method Description void
encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Deprecated.-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding
encode, encode
-
-
-
-
Constructor Detail
-
RelativeKBipolarSatEncoding
public RelativeKBipolarSatEncoding(java.util.Map<Link,java.util.Set<Interpretation>> interpretations)
Deprecated.
-
-
Method Detail
-
encode
public void encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Deprecated.- Specified by:
encode
in interfaceSatEncoding
-
-