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

Interface SatEncoding

All Known Implementing Classes:

BipolarSatEncoding, ConflictFreeInterpretationSatEncoding, KBipolarSatEncoding, RestrictedBipolarSatEncoding, RestrictedKBipolarSatEncoding, TwoValuedModelSatEncoding

public interface SatEncoding

The SatEncoding interface represents a generic SAT encoding mechanism. Implementations of this interface are responsible for encoding specific structures into SAT clauses and providing them to a given consumer.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
void	encode(Consumer<Clause> consumer)	Encodes the structure into a set of SAT clauses and provides them to the given consumer.

Method Details

encode

void encode(Consumer<Clause> consumer)

Encodes the structure into a set of SAT clauses and provides them to the given consumer. The consumer is expected to accept the generated clauses, which represent the logical encoding of the structure.

Parameters:

consumer - the consumer that will accept the generated SAT clauses