Package org.tweetyproject.arg.adf.reasoner.sat.encodings

Interface SatEncoding

All Known Implementing Classes:

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

public interface SatEncoding

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
default void	encode(java.util.Collection<Clause> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Clause>	encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)

Method Detail

encode

void encode(java.util.function.Consumer<Clause> consumer,
            PropositionalMapping mapping,
            AbstractDialecticalFramework adf)

encode

default java.util.Collection<Clause> encode(PropositionalMapping mapping,
                                            AbstractDialecticalFramework adf)

encode

default void encode(java.util.Collection<Clause> collection,
                    PropositionalMapping mapping,
                    AbstractDialecticalFramework adf)