parameters: (self, expr)
docstring: Handles the given predicate. Loads it in and stores it in XML format
docstring_summary: Handles the given predicate. Loads it in and stores it in XML format
docstring_tokens: Handles the given predicate . Loads it in and stores it in XML format
function: def get_pred(self, expr):
          """
          Handles the given predicate. Loads it in and stores it in XML format
          """
          self.__extract_param_counter = 0
          functional_expr = self.get_expr(expr)
  
          if self.pred_map.get(functional_expr) is None:
              # We haven"t seen this predicate before:
              params = self.get_params(expr)
              count = 0
              for p in set(params):
                  count += 1
  
              pred = "\n\t<predicate name=\"P%d\">\n" % self.__local_pred_idx
              pred += "\t\t<parameters>\n\t\t\t"
              pred += "int X"+" int X".join([str(i) for i in range(count)])
              pred += "\n\t\t</parameters>\n"
  
              pred += "\t\t<expression>\n"
              pred += "\t\t\t<functional>\n"
              pred += "\t\t\t\t%s\n" % functional_expr
              pred += "\t\t\t</functional>\n"
              pred += "\t\t</expression>\n"
              pred += "\t</predicate>\n"
  
              self.pred_map[functional_expr] = (pred, self.__local_pred_idx)
              self.__local_pred_idx += 1
              return pred
function_tokens: def get_pred ( self , expr ) : self . __extract_param_counter = 0 functional_expr = self . get_expr ( expr ) if self . pred_map . get ( functional_expr ) is None : # We haven"t seen this predicate before: params = self . get_params ( expr ) count = 0 for p in set ( params ) : count += 1 pred = "\n\t<predicate name=\"P%d\">\n" % self . __local_pred_idx pred += "\t\t<parameters>\n\t\t\t" pred += "int X" + " int X" . join ( [ str ( i ) for i in range ( count ) ] ) pred += "\n\t\t</parameters>\n" pred += "\t\t<expression>\n" pred += "\t\t\t<functional>\n" pred += "\t\t\t\t%s\n" % functional_expr pred += "\t\t\t</functional>\n" pred += "\t\t</expression>\n" pred += "\t</predicate>\n" self . pred_map [ functional_expr ] = ( pred , self . __local_pred_idx ) self . __local_pred_idx += 1 return pred