Menu ▾ ▴

Commit [r9145]  Maximize  Restore  History

Continuing to expland IDG reflection to include dynamic leaf

nodes. These nodes dont have subgoal frames, but do have
callnodes, so I've been chaning how pointers are passed around in
several places. Eventually, I want all the SF-based IDG
traversal routines to be Callnode based, but this will take
another day or so.

Added get_call/4, which now also returns a pointer to the
callnode. get_call/3 is now defined in terms of that predicate.

Added immediate_affects_callnode_ptrlist which finds the
callnodes of all subgoals an incremental subgoal affects.

Documented various cases of table_inspection_predicates, and
commented out some code that is no longer used.

tswift 2017-11-13

changed /trunk/XSB/emu/builtin.c
changed /trunk/XSB/emu/call_graph_xsb.c
changed /trunk/XSB/emu/call_graph_xsb.h
changed /trunk/XSB/emu/incr_xsb.c
changed /trunk/XSB/emu/incr_xsb_defs.h
changed /trunk/XSB/emu/tr_utils.c
changed /trunk/XSB/emu/tr_utils.h
changed /trunk/XSB/emu/trie_internals.h
/trunk/XSB/emu/builtin.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/call_graph_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/call_graph_xsb.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/incr_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/incr_xsb_defs.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/tr_utils.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/trie_internals.h Diff Switch to side-by-side view
Loading...