<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_q28chngl2rsgge363i1r530m57, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass ActualThoughtSpace extends AbstractThoughtSpace {
  new TripleIndex index;
  int limit; // 0 = no limit
  Map<TripleWeb, Bool> blocked = newWeakHashMap();

  *() {}
  *(int *limit) {}
  
  // existence of triple has already been checked
  public S postTriple(T3<S> t) {
    if (limitReached()) fail("Thought space limit reached");
    TripleWeb w = tripleWeb(t);
    index.addTriple(w);
    ret w.globalID();
  }
  
  bool limitReached() {
    ret limit > 0 && size() >= limit;
  }
  
  L<WebNode> get(S s) {
    L<WebNode> l = filterNonBlocked(parent.get(s));
    ret combineLists(l, index.get(ai_shortenForIndex(s)));
  }
  
  int size() { ret l(websByID); }
}