User Tools
magik-demo:developer:class:core:querygeneralization
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:class:core:querygeneralization [2013/07/25 11:16] alex [Query Generalization] |
magik-demo:developer:class:core:querygeneralization [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| ===== Class Attributes ===== | ===== Class Attributes ===== | ||
| - | No attributes for this class | + | <code java> |
| + | public static long executionTime | ||
| + | </code> | ||
| ===== Class Constructor ===== | ===== Class Constructor ===== | ||
| Line 118: | Line 119: | ||
| **Returns:** | **Returns:** | ||
| * list of atoms that are in all the counter models | * list of atoms that are in all the counter models | ||
| + | |||
| + | [[magik-demo:developer:class:core:querygeneralization|Back to Top]] | [[magik-demo:start|Back to Home Page]] | ||
magik-demo/developer/class/core/querygeneralization.1374743812.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
