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

Packages that use EncodingStrategy

Package	Description
org.sat4j.tools.encoding	Implementation of different encodings.

Uses of EncodingStrategy in org.sat4j.tools.encoding

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

Modifier and Type	Method and Description
static EncodingStrategy	EncodingStrategy.valueOf(String name) Returns the enum constant of this type with the specified name.
static EncodingStrategy[]	EncodingStrategy.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

Modifier and Type	Method and Description
void	Policy.setAtLeastKEncoding(EncodingStrategy atLeastKEncoding)
void	Policy.setAtLeastOneEncoding(EncodingStrategy atLeastOneEncoding)
void	Policy.setAtMostKEncoding(EncodingStrategy atMostKEncoding)
void	Policy.setAtMostOneEncoding(EncodingStrategy atMostOneEncoding)
void	Policy.setExactlyKEncoding(EncodingStrategy exactlyKEncoding)
void	Policy.setExactlyOneEncoding(EncodingStrategy exactlyOneEncoding)