Command to display setCDKUSliderValue manual in Linux: $ man 3 setCDKUSliderValue
setCDKUSliderValue
$ man 3 setCDKUSliderValue
Please check the manual page cdk_uslider(3).