Module multi_oracle

Module multi_oracle 

Source
Expand description

Utility functions to compute outcome combinations to work with multi oracle DLC.

Functionsยง

compute_outcome_combinations
Compute the outcome combinations required to cover intervals that will satisfy the specified min support and max error parameters. Expect that the first element of oracle_numeric_infos is the one with smallest num_digits. Throws if oracle_numeric_infos has less than 2 elements or max_error_exp is not greater than min_support_exp.