User Tools

Site Tools


magik-demo:developer:class:core:querygeneralization

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
magik-demo:developer:class:core:querygeneralization [2013/07/22 15:25]
alex [getQueryGeneralizationWithUnfolding]
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 94: Line 103:
 ---- ----
  
-===== getCompleteAtoms =====+==== getCompleteAtoms ==== 
 +<code java> 
 +private static java.util.ArrayList<​Atom>​ getCompleteAtoms (java.util.ArrayList<​Atom>​ currentQueryAtoms,​  
 +                                                           ​java.util.ArrayList<​Model>​ counterModels,​  
 +                                                           ​Schema schema) 
 +</​code>​ 
 + 
 +This method is used to investigate if each atom of the query is in all the counter models, because if it is not, it has to be removed from the query atoms. 
 + 
 +**Parameters:​** 
 +  * currentQueryAtoms - list of all the atoms that are inside the query 
 +  * counterModels - all the counter models found for the current query 
 +  * schema - database schema 
 + 
 +**Returns:​** 
 +  * 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.1374499559.txt.gz · Last modified: 2017/07/06 15:24 (external edit)