Java Reference

Java Reference

SatParameters.ClauseProtection Member List

This is the complete list of members for SatParameters.ClauseProtection, including all inherited members.

forNumber(int value)SatParameters.ClauseProtectioninlinestatic
getDescriptor()SatParameters.ClauseProtectioninlinestatic
getDescriptorForType()SatParameters.ClauseProtectioninline
getNumber()SatParameters.ClauseProtectioninline
getValueDescriptor()SatParameters.ClauseProtectioninline
internalGetValueMap()SatParameters.ClauseProtectioninlinestatic
PROTECTION_ALWAYSSatParameters.ClauseProtection
PROTECTION_ALWAYS_VALUESatParameters.ClauseProtectionstatic
PROTECTION_LBDSatParameters.ClauseProtection
PROTECTION_LBD_VALUESatParameters.ClauseProtectionstatic
PROTECTION_NONESatParameters.ClauseProtection
PROTECTION_NONE_VALUESatParameters.ClauseProtectionstatic
valueOf(int value)SatParameters.ClauseProtectioninlinestatic
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)SatParameters.ClauseProtectioninlinestatic