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/22 15:53] alex [getCompleteAtoms] |
magik-demo:developer:class:core:querygeneralization [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| This class is used for calculate the generalized version of a query. | This class is used for calculate the generalized version of a query. | ||
| + | |||
| + | ===== Class Attributes ===== | ||
| + | |||
| + | <code java> | ||
| + | public static long executionTime | ||
| + | </code> | ||
| + | ===== Class Constructor ===== | ||
| + | |||
| + | No constructor for this class | ||
| ===== Class Methods ===== | ===== Class Methods ===== | ||
| Line 110: | 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.1374501222.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
