Package net.sf.tweety.arg.adf.reasoner.encodings
-
Interface Summary Interface Description SatEncoding TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance -
Class Summary Class Description BipolarSatEncoding ConflictFreeInterpretationSatEncoding FixPartialSatEncoding Fixes the already assigned true/false values.KBipolarSatEncoding LargerInterpretationSatEncoding RefineLargerSatEncoding TODO work out difference toLargerInterpretationSatEncoding
in documentationRefineUnequalSatEncoding SatEncodingContext Stores the shared context which is needed to interconnect the sat encodings, e.g.TwoValuedModelSatEncoding VerifyAdmissibleSatEncoding