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