indexing: Added first batch of files for trying out Path Indexing ideas
indexing: added new experimental option for indexing and fixed some tabs in K.java
indexing: added imp.k for experimenting
indexing: added trie data structure
indexing: retrieving applicable rules from the trie
indexing: ensured correctness of rule retrieval from the trie. Some ugly hacks need to be fixed.
indexing: changed Symbolic Rewriter to optionally use rules obtained from the index.
indexing: added most of the rules in imp to test performance of indexing vs non-indexing
indexing: fixed bug that was causing the non-indexed time to blow up disproportionately
indexing: making basic index work for primes.imp. one small fix needed.
indexing: primes.imp works now
indexing: added more imp examples to test indexing
indexing:
1. added visitor for traversing heating rules
2. restructured the indexing package and
3. tested on smaller version of IMP
indexing: removed unneeded code from PathIndex.java
indexing: using visitor for creating p-strings from cooling rules
indexing: (WIP) using visitors to create non-cooling, non-heating rules
indexing: fixed bug in using visitors to create non-cooling, non-heating rules
indexing: removed some duplicated code
indexing: constrcuting pstrings from terms using visitors
indexing: some cleanup