concepts.pdsketch.csp_solvers.brute_force_sampling.extract_generator_data#
- extract_generator_data(executor, state, generator)[source]#
Extract the positive data from the state for a given generator. Specifically, it will test the certifies condition of the generator on the input state. If the condition is satisfied, it will extract the inputs (context) and outputs (generates) of the generator.
- Parameters:
executor (PDSketchExecutor) – a pdsketch expression executor.
state (TensorState) – the input state.
generator (Generator) – the generator.
- Returns:
a tuple of (inputs, outputs) for the generator.
- Return type: