Class LargerInterpretationSatEncoding
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
-
- All Implemented Interfaces:
SatEncoding
public class LargerInterpretationSatEncoding extends java.lang.Object implements SatEncoding
Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description LargerInterpretationSatEncoding(Interpretation interpretation)
LargerInterpretationSatEncoding(Interpretation interpretation, Proposition toggle)
-
Method Summary
Modifier and Type Method Description void
encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.sf.tweety.arg.adf.reasoner.sat.encodings.SatEncoding
encode, encode
-
-
-
-
Constructor Detail
-
LargerInterpretationSatEncoding
public LargerInterpretationSatEncoding(Interpretation interpretation)
- Parameters:
interpretation
- the interpretation which is used as a lower bound
-
LargerInterpretationSatEncoding
public LargerInterpretationSatEncoding(Interpretation interpretation, Proposition toggle)
- Parameters:
interpretation
- the interpretation which is used as a lower boundtoggle
- the toggle to activate the encoding
-
-
Method Detail
-
encode
public void encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
- Specified by:
encode
in interfaceSatEncoding
-
-