Java Reference

Java Reference

SatParameters.BinaryMinizationAlgorithm Member List

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

BINARY_MINIMIZATION_FIRSTSatParameters.BinaryMinizationAlgorithm
BINARY_MINIMIZATION_FIRST_VALUESatParameters.BinaryMinizationAlgorithmstatic
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTIONSatParameters.BinaryMinizationAlgorithm
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUESatParameters.BinaryMinizationAlgorithmstatic
BINARY_MINIMIZATION_WITH_REACHABILITYSatParameters.BinaryMinizationAlgorithm
BINARY_MINIMIZATION_WITH_REACHABILITY_VALUESatParameters.BinaryMinizationAlgorithmstatic
EXPERIMENTAL_BINARY_MINIMIZATIONSatParameters.BinaryMinizationAlgorithm
EXPERIMENTAL_BINARY_MINIMIZATION_VALUESatParameters.BinaryMinizationAlgorithmstatic
forNumber(int value)SatParameters.BinaryMinizationAlgorithminlinestatic
getDescriptor()SatParameters.BinaryMinizationAlgorithminlinestatic
getDescriptorForType()SatParameters.BinaryMinizationAlgorithminline
getNumber()SatParameters.BinaryMinizationAlgorithminline
getValueDescriptor()SatParameters.BinaryMinizationAlgorithminline
internalGetValueMap()SatParameters.BinaryMinizationAlgorithminlinestatic
NO_BINARY_MINIMIZATIONSatParameters.BinaryMinizationAlgorithm
NO_BINARY_MINIMIZATION_VALUESatParameters.BinaryMinizationAlgorithmstatic
valueOf(int value)SatParameters.BinaryMinizationAlgorithminlinestatic
valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)SatParameters.BinaryMinizationAlgorithminlinestatic