Package net.sf.tweety.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<Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Disjunction>	encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)

Method Detail

encode

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

encode

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

encode

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