Warning: session_start(): open(/var/lib/php/sessions/sess_vi5n3tb24s4tj2dumvu97jcc9d, 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
sclass GlobalThoughtSpace extends AbstractThoughtSpace {
// existence of triple has already been checked
public GlobalID postTriple(T3 t, bool verified) {
Bool prev = setThreadLocal(ai_postTriple_verified, verified);
try {
ret asGlobalID(post(str(t.a), str(t.b), str(t.c)));
} finally {
setThreadLocal(ai_postTriple_verified, prev);
}
}
public GlobalID postTriple(T3 t) {
ret asGlobalID(post(str(t.a), str(t.b), str(t.c)));
}
L> get(Symbol s) {
ret tripleIndex().getTripleRefs(s);
}
L> get(Symbol s, int position) {
ret tripleIndex().getTripleRefs(s, position);
}
L getTriples(Symbol s) {
ret tripleIndex().getTriples(s);
}
L getTriples(Symbol s, int position) {
ret tripleIndex().getTriples(s, position);
}
L getOneTwo(Symbol query) {
ret tripleIndex().getOneTwo(query);
}
int size() { ret tripleIndex().numWebs(); }
}