search

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

Rule Converter, accept queries that are functions in the high level language #8

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Needs to accept a query that is a function (e.g. referenceOf(w7) from Example 4 
in PRAiSEDemoApp).

Original issue reported on code.google.com by ctjoreilly@gmail.com on 11 Apr 2013 at 1:03

GoogleCodeExporter commented 8 years ago 
Fix applied SVN revision=836.

Original comment by ctjoreilly@gmail.com on 15 Jun 2013 at 2:30