CVS log for 2001/blindfold/src/Symbol.h

Request diff between arbitrary revisions

intermediate; compiles; trying to get delay/undelay working

renamed scope -> getScope(); set operations are doing better

Changed ordering of Type enum to so SymbolTable's array-by-type
is optimized for most tables being just variables and nulls never
really being the table.

trying to fix some bugs

Implemented TripleSource and Variable printing, binding

XSBMatch & XSBAgent is kind of working....!

some good progress on XSBAgent

* began to view the modules which can do inference, etc, as
  semi-autonomous agents; started some framework for that
* decide that Variables really should be scoped in small
  scopes, so I factored out the main body of Symbol into SymbolTable,
  and made SimpleVariableScope also use it.   It's kind of elaborate,
  but that should be invisible to most users and I think we're fairly
  well positioned for doing inference locally if we want to.

dunno

converted to using proper stl:: namespaces

Changed Symbols to use atom table; started trying to use STLPort

Fiddling with NTripleParser & finally writing a simple one.
Fixing some missing stuff/bugs in Symbol & Triple that showed up.

Filled in Triple implementation; set up stuff to link with XSB
(Compiles again.)

Redid Symbols, without SymbolSpaces, as pure top-level thing (so lower
levels have to hash_map to what they want, rather than using
SymbolSpaces.)

Took out stl_hash hack; using real stl_hash include now

Did some more work on PrologMatchedPattern

Made some improvements to comments.  First pass at Patterns interface.

Modified TripleStore to Pool in source code.

Added TripleSinkReifier

split TripleSource into two versions, but I'm about to back it out again and do it differently, I think

Finished change from TripleStoreObject to void*
FlatN3FileTripleStore works again (in its minor way).

interim commit - FlatN3 stuff hasn't been changed yet.
Changed TripleStoreObject to void*, rearrabged Symbol allocation
out of TripleSink into Symbol and SymbolSpace.  It's less C++ style
in some ways, but it will interface with C better, and seems a little
cleaner.

Added some of a real triple store (FlatN3FileTripleStore), which
actually works for get_symbol() and add() at present.   Needed to
flesh out Symbol in a way I'm not totally happy with, since it
requires a down-cast to use it properly.  Have to mull on it a bit.

Add C++ declarations for Triple Store hierarchy (experimentally)