This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
magik-demo:developer:notes:magik3-meeting-minutes [2013/05/28 14:52] alex [TC-statements] |
magik-demo:developer:notes:magik3-meeting-minutes [2017/07/06 15:24] (current) |
||
---|---|---|---|
Line 69: | Line 69: | ||
Attendees: Alex, Ognjen | Attendees: Alex, Ognjen | ||
- | Topic: Introducing double quotes in the encoding of DLV | + | Topic: Introducing double quotes in the encoding of DLV (**Ended in 28 May**) |
* Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | * Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | ||
* Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | * Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | ||
* Approach: First test within the JUnit and then implement it in the code | * Approach: First test within the JUnit and then implement it in the code | ||
+ | |||
+ | Topic: Generalization algorithm | ||
+ | |||