24 true,
false,
true,
false,
true,
true,
"",
"", 0.100, -1.0);
26 true,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
28 true,
false,
true,
false,
true,
true,
"",
"", 0.100, -1.0);
30 true,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
32 true,
false,
true,
false,
false,
false,
"",
"", 0.100, -1.0);
34 true,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
36 true,
false,
true,
false,
false,
false,
"",
"", 0.100, -1.0);
38 true,
false,
true,
false,
false,
true,
"",
"", 0.100, -1.0);
40 false,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
42 false,
false,
true,
false,
true,
false,
"",
"", 0.100, -1.0);
44 false,
false,
true,
false,
false,
false,
"",
"", 0.100, -1.0);
Provides functions and classes for the distributed knowledge base.
Copyright(c) 2020 Galois.
static const WaitSettings NO_EXPAND
Settings to delay sending modifieds and expand variables.
static const WaitSettings EXPAND
Settings to delay sending modifieds and expand variables.
static const WaitSettings NO_EXPAND_CHECKPOINT
Settings to not expand odifieds and enable checkpoints.
static const WaitSettings SEND
Settings to immediately send modifieds and expand variables.
static const WaitSettings SEND_NO_EXPAND
Settings to immediately send modifieds and not expand variables.
static const WaitSettings DELAY_CHECKPOINT
Settings to delay sending modifieds and enable checkpoints.
static const WaitSettings DELAY
Settings to delay sending modifieds and expand variables.
static const WaitSettings DELAY_NO_EXPAND
Settings to delay send modifieds and not expand variables.
static const WaitSettings DELAY_EXPAND
Settings to delay sending modifieds and expand variables.
static const WaitSettings SEND_EXPAND
Settings to immediately send modifieds and expand variables.
static const WaitSettings CHECKPOINT
Settings to enable checkpoints.