19 false,
true,
false,
false);
20 const KnowledgeUpdateSettings
22 true,
true,
false,
false);
static const KnowledgeUpdateSettings DEFAULT
static const KnowledgeUpdateSettings GLOBAL_AS_LOCAL_NO_EXPAND
static const KnowledgeUpdateSettings GLOBAL_AS_LOCAL
static const KnowledgeUpdateSettings NO_EXPAND
Provides functions and classes for the distributed knowledge base.
Copyright(c) 2020 Galois.