Class ConflictFreeInterpretationSatEncoding

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
All Implemented Interfaces:
RelativeSatEncoding, SatEncoding

public class ConflictFreeInterpretationSatEncoding extends Object implements SatEncoding, RelativeSatEncoding
Author:
Mathias Hofer