Warning: session_start(): open(/var/lib/php/sessions/sess_ncq8ee4k7qfo3p6ln6cmhjt7bq, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
public static interface ISpec {
Lock aiLock();
bool ai_cache_hasTriple(S a, S b, S c);
S ai_postTriple(S a, S b, S c);
S ai_setMaker(S maker);
L allIndexedFullTerms();
L ai_texts_verified(S a, S b, S c);
S ai_text(S a, S b, S c);
Web ai_blob(S word, bool verified);
L ai_index_search_dollarX(S a, S b, S c);
L indexedNodes(S s);
L indexedWebs(S s);
Set ai_invalidatedWebs();
MultiMap cachedNodeIndex2();
Web ai_getWeb(S id);
void ai_setSubSpace(AI_SubSpace subSpace);
AI_SubSpace ai_currentSubSpace();
MultiMap ai_mainIndex();
TripleIndex tripleIndex();
}