sweetpea.sampling_strategies.guided module

class sweetpea.sampling_strategies.guided.GuidedSamplingStrategy

Bases: sweetpea.sampling_strategies.base.SamplingStrategy

static sample(block, sample_count)
Parameters
Return type

sweetpea.sampling_strategies.base.SamplingResult

static print_summary(result)
Parameters

result (sweetpea.sampling_strategies.base.SamplingResult) –

Return type

None

class sweetpea.sampling_strategies.guided.Flamegraph

Bases: object

GRAPH_FILE_TEMPLATE = '\n<head>\n  <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/spiermar/d3-flame-graph@2.0.6/dist/d3-flamegraph.css">\n</head>\n<body>\n  <div id="chart"></div>\n  <script type="text/javascript" src="https://d3js.org/d3.v4.min.js"></script>\n  <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/d3-tip/0.9.1/d3-tip.min.js"></script>\n  <script type="text/javascript" src="https://cdn.jsdelivr.net/gh/spiermar/d3-flame-graph@2.0.6/dist/d3-flamegraph.min.js"></script>\n  <script type="text/javascript">\n  graph_data = {}\n  var flamegraph = d3.flamegraph().width(960);\n  d3.select("#chart").datum(graph_data).call(flamegraph);\n  <!-- TODO: Render SAT/UNSAT calls as Green/Red -->\n  <!-- TODO: Replace \'samples\' with \'seconds\' in tooltip -->\n  </script>\n</body>\n'
static generate(filename, sampling_result)
Parameters
Return type

None