<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7es8e2sphf0119cd17tc4gear1, 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 ThoughtSpace {
  S globalID;
  new LinkedHashMap<S, LispStatement> statements;
  new HashMap<Lisp, LispStatement> statementsIndex;
  new LinkedHashMap<S, SimpleConcept> concepts;
  long changes;
  
  *() {}
  *(S *globalID) {}
  
  void addStatements(L<Lisp> l) { for (Lisp x : l) addStatement(x); }
  
  void addStatement(Lisp l) {
    if (!containsStatement(l)) {
      LispStatement s = new LispStatement(l);
      statements.put(s.globalID, s);
      statementsIndex.put(l, s);
      ++changes;
    }
  }
  
  void removeStatement(S statementID) {
    removeStatement(statements.get(statementID));
  }
  
  void removeStatement(LispStatement s) {
    if (s != null) removeStatement(s.term);
  }
  
  void removeStatement(Lisp l) {
    LispStatement s = statementsIndex.get(l);
    if (s != null) {
      statements.remove(s.globalID);
      statementsIndex.remove(l);
      ++changes;
    }
  }
  
  bool containsStatement(Lisp l) {
    ret statementsIndex.containsKey(l);
  }
}