Class ConflictFreeInterpretationSatEncoding
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.encodings.ConflictFreeInterpretationSatEncoding
-
- All Implemented Interfaces:
SatEncoding
public class ConflictFreeInterpretationSatEncoding extends java.lang.Object implements SatEncoding
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description ConflictFreeInterpretationSatEncoding()
-
Method Summary
Modifier and Type Method Description java.util.Collection<Disjunction>
encode(SatEncodingContext context, Interpretation interpretation)
Constructs a SAT encoding based on the given context and an optional interpretation.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.sf.tweety.arg.adf.reasoner.encodings.SatEncoding
encode
-
-
-
-
Method Detail
-
encode
public java.util.Collection<Disjunction> encode(SatEncodingContext context, Interpretation interpretation)
Description copied from interface:SatEncoding
Constructs a SAT encoding based on the given context and an optional interpretation.- Specified by:
encode
in interfaceSatEncoding
- Returns:
- a set of disjunctions
-
-