Skip to contents

Construct an odometer that can spawn a compositor queryable.

Usage

make_fully_adaptive_composition(input_domain, input_metric, output_measure)

Arguments

input_domain

indicates the space of valid input datasets

input_metric

how distances are measured between members of the input domain

output_measure

how privacy is measured

Value

Odometer

Details

Required features: contrib

make_fully_adaptive_composition in Rust documentation.

Supporting Elements:

  • Input Domain DI

  • Input Metric MI

  • Output Measure MO

  • Query Measurement<DI, MI, MO, TO>

  • Answer TO

Proof Definition:

(Proof Document)