Exemplo n.º 1
0
    def __init__(self):
        Parser.__init__(self)

        self.add_function(get_iterative_results)
        self.add_function(coverage)
        self.add_function(unsolvable)
        self.add_function(get_error)
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern(
         "successor_generator_time",
         "Building successor generator...done! \[t=(.+)s\]",
         required=False,
         type=float)
Exemplo n.º 3
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern(
         "init_time",
         "Best heuristic value: \d+ \[g=0, 1 evaluated, 0 expanded, t=(.+)s, \d+ KB\]",
         required=True,
         type=float)
Exemplo n.º 4
0
    def __init__(self):
        Parser.__init__(self)

        self.add_pattern(
            "planner_time_limit",
            r"planner time limit: (.+)s",
            type=float,
        )
        self.add_pattern(
            "planner_memory_limit",
            r"planner memory limit: (.+) MB",
            type=int,
        )
        self.add_pattern("node",
                         r"node: (.+)\n",
                         type=str,
                         file="driver.log",
                         required=True)
        self.add_pattern(
            "planner_time",
            r"Planner time: (.+)s",
            type=float,
        )
        self.add_pattern(
            "planner_wall_clock_time",
            r"planner wall-clock time: (.+)s",
            type=float,
            file="driver.log",
            required=True,
        )

        self.add_function(add_planner_memory)
        self.add_function(add_planner_time)
        self.add_function(add_planner_scores)
Exemplo n.º 5
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern('planner_exit_code',
                      r'planner exit code: (.+)\n',
                      type=int,
                      file='driver.log',
                      required=True)
     self.add_function(parse_exit_code)
Exemplo n.º 6
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern('bytes_per_state', 'Bytes per state: (\d+)',
                     required=False, type=int)
     self.add_pattern('state_var_t_size', 'Dispatcher selected state size (\d).',
                     required=False, type=int)
     self.add_pattern('variables', 'Variables: (\d+)',
                     required=False, type=int)
     self.add_function(calculate_old_state_size)
Exemplo n.º 7
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern("num_sga_patterns",
                      "Found (\d+) SGA patterns.",
                      required=False,
                      type=int)
     self.add_pattern("num_interesting_patterns",
                      "Found (\d+) interesting patterns.",
                      required=False,
                      type=int)
Exemplo n.º 8
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern(
         "planner_exit_code",
         r"planner exit code: (.+)\n",
         type=int,
         file="driver.log",
         required=True,
     )
     self.add_function(parse_exit_code)
Exemplo n.º 9
0
    def __init__(self):
        Parser.__init__(self)

        for name, pattern, typ in PATTERNS:
            self.add_pattern(name, pattern, type=typ)

        self.add_function(check_single_search)
        self.add_function(add_coverage)
        self.add_function(add_memory)
        self.add_function(add_initial_h_values)
        self.add_function(ensure_minimum_times)
        self.add_function(add_scores)
Exemplo n.º 10
0
    def __init__(self):
        Parser.__init__(self)
        self.add_function(add_planner_memory)
        self.add_function(add_planner_time)

        self.add_pattern('node',
                         r'node: (.+)\n',
                         type=str,
                         file='driver.log',
                         required=True)
        self.add_pattern('planner_wall_clock_time',
                         r'planner wall-clock time: (.+)s',
                         type=float,
                         file='driver.log',
                         required=True)
Exemplo n.º 11
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern('bytes_per_state',
                      'Bytes per state: (\d+)',
                      required=False,
                      type=int)
     self.add_pattern('state_var_t_size',
                      'Dispatcher selected state size (\d).',
                      required=False,
                      type=int)
     self.add_pattern('variables',
                      'Variables: (\d+)',
                      required=False,
                      type=int)
     self.add_function(calculate_old_state_size)
Exemplo n.º 12
0
    def __init__(self):
        Parser.__init__(self)

        self.add_pattern('node',
                         r'node: (.+)\n',
                         type=str,
                         file='driver.log',
                         required=True)
        self.add_pattern('planner_exit_code',
                         r'run-planner exit code: (.+)\n',
                         type=int,
                         file='driver.log')

        self.add_function(parse_memory_time_watchpoints, file="run.log")
        self.add_function(parse_grounding_info, file="run.log")
        self.add_function(parse_node_generation_rate, file="run.log")
        self.add_function(parse_sdd_minimization, file="run.log")
        self.add_function(parse_simulation_info, file="run.log")

        self.add_function(parse_results, file="results.json")
        self.add_function(check_min_values, file="results.json")
Exemplo n.º 13
0
    def __init__(self):
        Parser.__init__(self)

        for name, pattern, typ in PATTERNS:
            self.add_pattern(name, pattern, type=typ)
Exemplo n.º 14
0
 def __init__(self):
     Parser.__init__(self)
     self.add_preprocess_parsing()
     self.add_preprocess_functions()
Exemplo n.º 15
0
 def __init__(self):
     Parser.__init__(self)
     self.add_patterns()
     self.add_function(parse_translator_timestamps)
     self.add_function(parse_statistics)
Exemplo n.º 16
0
 def __init__(self):
     Parser.__init__(self)
     self.add_preprocess_parsing()
     self.add_preprocess_functions()
Exemplo n.º 17
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern("raw_memory", r"Peak memory: (.+) KB", type=int, required=False)
Exemplo n.º 18
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern("successor_generator_time",
                      "Building successor generator...done! \[t=(.+)s\]",
                      required=False,
                      type=float)
Exemplo n.º 19
0
 def __init__(self):
     Parser.__init__(self)
     self.add_pattern('raw_memory',
                      r'Peak memory: (.+) KB',
                      type=int,
                      required=False)