XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r8287]  Maximize  Restore  History

Major rewriting of transitive closure for transitive abolishes -- so far only integrated into subgoal abolishes and not predicate abolishes.

While transitive closure is not hard to write, the links within the residual program are quite complicated, so that once I got the link traversal
mostly correct, I had to restructure my dfs-based transitive closure. It should now be more correct when there are complex paths involving
both positive and negative links.

Hopefully this will be most of what is needed at least for the transitivity check, although there may be an optimization or two I can add.

Authored by: tswift 2015-03-08

Browse code at this revision

Parent: [r8286]

Child: [r8288]

changed	/trunk/XSB/emu/context.h
changed	/trunk/XSB/emu/init_xsb.c
changed	/trunk/XSB/emu/tab_structs.h
changed	/trunk/XSB/emu/tr_utils.c

/trunk/XSB/emu/context.h Diff Switch to side-by-side view

/trunk/XSB/emu/init_xsb.c Diff Switch to side-by-side view

/trunk/XSB/emu/tab_structs.h Diff Switch to side-by-side view

/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view