Class FixPartialSatEncoding

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

public class FixPartialSatEncoding extends Object implements RelativeSatEncoding
Fixes the already assigned true/false values.
Author:
Mathias Hofer