added option to kompile and krun controlling whether the java backend throws a failed assertion when function definitions are not deterministic
refactored the builtin implementation of the k visitor; fixes to hook invokation in the java backend
Merge pull request #275 from andreistefanescu/master

added option to kompile and krun controlling whether the java backend th...
more comments on hook exclusion
Merge pull request #279 from andreistefanescu/k_builin_visitor

K buitlin visitor refactoring
delete accidentally commited src/.DS_Store
indexing: started moving rule indexing to kompile
moved indexing to kompile
indexing: added a comment
indexing: renamed class which holds the indexing table
indexing: reverting previous changes to BottomIndex and TopIndex
indexing: added readResolve for singleton classes to avoid serialization problems
indexing: fixing latent bug in iterating over productions while creating the rule indexing table
indexing: making an interface type for different types of Rule Indexing mechanism
indexing: making it possible to specify which kind of rule indexing scheme to use during kompile
indexing: making path-index artifacts Serializable and cleaning out some unwanted files
indexing: added a TODO
indexing: removed an unused import
Merge pull request #271 from owolabileg/master

Moved Indexing to kompile
Java backend: cleaned up methods related to maintaining variables inside a term; added some javadoc