
thread_set_default(++Option)

   Set default options for thread/engine creation

Arguments
   Option              A thread-option term

Type
   library(threads)

Description
Sets default thread/engine creation options.
    The supported options are:

    local(KBytes)
        Set size of local/control stack in kBytes.
	Equivalent to set_flag(default_localsize, kBytes).
    global(KBytes)
        Set size of global/trail stack in kBytes.
	Equivalent to set_flag(default_globalsize, kBytes).

    

Modes and Determinism
   thread_set_default(++) is det

See Also
   thread_create / 2, engine_create / 2, set_flag / 2
