Torin Sandall 480281741b Address PR comments ...

- Refactored the checkSafetyBody function

    * Moved reordering into separate function with well defined interface.

    * Replaced ad-hoc maps to track sets of Vars with VarSet.

    * Added helper functions to get Vars on expressions, rules, etc. This
      makes the re-ordering much clearer.

- Updated test cases for DFS and re-ordering.

- Added comment in DFSTraversal to help callers consider whether
  the Visited state needs to be reset.

Also, fixed two separate bugs:

- When computing output variables in positions that unify recursively,
variable object keys should not be included (as the unification implementation
won't unify these.)

- When computing output variables, variables found in references (other than
the head) WILL be bound, so they should be included in the result. For
example:

> a = [1,2,3], a[i] != 2

In this case, "i" will be bound so it should be included in the output
variables for the expression.

2016-05-25 16:36:14 -07:00

..

compare_test.go

Move compare.go into util package

2016-05-13 15:58:32 -07:00

compare.go

Move compare.go into util package

2016-05-13 15:58:32 -07:00

graph_test.go

Address PR comments

2016-05-25 16:36:14 -07:00

graph.go

Address PR comments

2016-05-25 16:36:14 -07:00

hashmap_test.go

Add basic support for modules

2016-05-09 15:19:55 -07:00

hashmap.go

Add basic support for modules

2016-05-09 15:19:55 -07:00