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