Package net.sf.tweety.arg.adf.reasoner.encodings

Interface SatEncoding

All Known Implementing Classes:

BipolarSatEncoding, ConflictFreeInterpretationSatEncoding, FixPartialSatEncoding, KBipolarSatEncoding, LargerInterpretationSatEncoding, RefineLargerSatEncoding, RefineUnequalSatEncoding, TwoValuedModelSatEncoding, VerifyAdmissibleSatEncoding

public interface 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

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
default Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	encode(SatEncodingContext context)
Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	encode(SatEncodingContext context, Interpretation interpretation)	Constructs a SAT encoding based on the given context and an optional interpretation.

Method Detail

encode

default Collection<net.sf.tweety.logics.pl.syntax.Disjunction> encode(SatEncodingContext context)

encode

Collection<net.sf.tweety.logics.pl.syntax.Disjunction> encode(SatEncodingContext context,
                                                              Interpretation interpretation)

Constructs a SAT encoding based on the given context and an optional interpretation.

Parameters:

context -

interpretation -

Returns:

a set of disjunctions