20 const WaitSettings
WaitSettings::DEFAULT (
false,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
22 const WaitSettings
WaitSettings::DELAY (
true,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
static const WaitSettings DELAY_NO_EXPAND
Settings to delay sending modifieds, and not expand variables.
Provides functions and classes for the distributed knowledge base.
static const WaitSettings DELAY
Settings to delay sending modifieds, but do expand variables.
static const WaitSettings NO_EXPAND
Settings to immediately send modifieds, and not expand variables.
Copyright (c) 2015 Carnegie Mellon University.
static const WaitSettings DEFAULT
Settings to immediately send modifieds, but do expand variables.