[bddbddb-devel] bddbddb Examples

[Luke S. <luk...@gm...>]

Which bddbddb examples is the -fly option used with and which examples is
-partial used with and what exactly does each option do?  Also, how is "
pafly.datalog" used?  I see that it uses embedded Java code, but the papers
and slides on bddbddb don't describe how embedded Java in bddbddb scripts
works.  For example, can the script declare an instance of an object, which
has calls made to it each time a IDB predicate changes, or is it limited to
calling static methods?