baseDir
ccDebugLevel
ccOptions
ccProps
curryInfoRequest2CASS
debugLevel
defaultCConfig
docDir
executableName
fixpointMethod
getDefaultPath
getServerAddress
numberOfWorkers
removeServerPortNumber
setDebugLevel
storeServerPortNumber
systemBanner
useCurryInfo
useCurryInfoWeb
waitTime
withPrelude