Struct opendp::interactive::Queryable

pub struct Queryable<S, Q, A> { /* fields omitted */ }

A structure tracking the state of an interactive measurement queryable. It’s generic over state (S), query (Q), answer (A), so it can be used for any interactive measurement expressible as a transition function.

Implementations

impl<S, Q, A> Queryable<S, Q, A>

pub fn new(
    initial: S,
    transition: impl Fn(S, &Q) -> Fallible<(S, A)> + 'static
) -> Self

Constructs a Queryable with initial state and transition function.

pub fn eval(&mut self, query: &Q) -> Fallible<A>

Evaluates a query.

impl<S, Q> Queryable<S, Q, Box<dyn Any>>

pub fn eval_poly<A: 'static>(&mut self, query: &Q) -> Fallible<A>

Evaluates a polymorphic query and downcasts to the given type.

Trait Implementations

impl<S, Q, A> CheckNull for Queryable<S, Q, A>

fn is_null(&self) -> bool