Uses of Class
org.sat4j.tools.encoding.EncodingStrategyAdapter

Packages that use EncodingStrategyAdapter

org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.encoding	Implementation of different encodings.

Uses of EncodingStrategyAdapter in org.sat4j.tools

Constructors in org.sat4j.tools with parameters of type EncodingStrategyAdapter

ClausalCardinalitiesDecorator(T solver, EncodingStrategyAdapter encodingAd)

Uses of EncodingStrategyAdapter in org.sat4j.tools.encoding

Subclasses of EncodingStrategyAdapter in org.sat4j.tools.encoding

class	Binary Binary encoding for the "at most one" and "at most k" cases.
class	Binomial Binomial encoding for the "at most one" and "at most k" cases.
class	Commander Commander encoding for "at most one" and "at most k" cases.
class	Ladder Ladder encoding for the "at most one" and "exactly one" cases.
class	Policy This class allows the use of different encodings for different cardinality constraints.
class	Product Implementation of product encoding for at most one and at most k constraints.
class	Sequential Implementation of the sequential encoding for the at most k constraint.

Methods in org.sat4j.tools.encoding that return EncodingStrategyAdapter

EncodingStrategyAdapter	Policy.getAtLeastKEncoding()
EncodingStrategyAdapter	Policy.getAtLeastOneEncoding()
EncodingStrategyAdapter	Policy.getAtMostKEncoding()
EncodingStrategyAdapter	Policy.getAtMostOneEncoding()
EncodingStrategyAdapter	Policy.getExactlyKEncoding()
EncodingStrategyAdapter	Policy.getExactlyOneEncoding()

Methods in org.sat4j.tools.encoding with parameters of type EncodingStrategyAdapter

void	Policy.setAtLeastKEncoding(EncodingStrategyAdapter atLeastKEncoding)
void	Policy.setAtLeastOneEncoding(EncodingStrategyAdapter atLeastOneEncoding)
void	Policy.setAtMostKEncoding(EncodingStrategyAdapter atMostKEncoding)
void	Policy.setAtMostOneEncoding(EncodingStrategyAdapter atMostOneEncoding)
void	Policy.setExactlyKEncoding(EncodingStrategyAdapter exactlyKEncoding)
void	Policy.setExactlyOneEncoding(EncodingStrategyAdapter exactlyOneEncoding)