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

Packages that use EncodingStrategy

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

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

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)