|
Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
|
Reproducible benchmark suite for the state-space search framework. More...
#include <cmath>#include <cstdint>#include <cstdlib>#include <iomanip>#include <iostream>#include <sstream>#include <stdexcept>#include <string>#include <Knapsack.H>#include <State_Search.H>#include <tpl_array.H>#include <tpl_sort_utils.H>Go to the source code of this file.
Functions | |
| int | main (const int argc, char **argv) |
Reproducible benchmark suite for the state-space search framework.
Included cases:
The suite is deterministic and supports --validate for invariant checks, plus --json for tooling-friendly output.
Definition in file state_search_benchmark.cc.
| int main | ( | const int | argc, |
| char ** | argv | ||
| ) |
Definition at line 998 of file state_search_benchmark.cc.
References Aleph::Array< T >::append(), Aleph::divide_and_conquer_partition_dp(), and options.