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(Collection<net.sf.tweety.logics.pl.syntax.Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)

Method Detail

encode

void encode(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer,
            PropositionalMapping mapping,
            AbstractDialecticalFramework adf)

encode

default Collection<net.sf.tweety.logics.pl.syntax.Disjunction> encode(PropositionalMapping mapping,
                                                                      AbstractDialecticalFramework adf)

encode

default void encode(Collection<net.sf.tweety.logics.pl.syntax.Disjunction> collection,
                    PropositionalMapping mapping,
                    AbstractDialecticalFramework adf)