SimIREvaluator Struct Reference

Callback surface for evaluating real-valued IR expressions. More...

#include <kernel_ir.h>

Collaboration diagram for SimIREvaluator:

Public Attributes
SimIRFieldEvalFn	field_value
SimIRDiffEvalFn	differential
SimIRNoiseEvalFn	noise
SimIRParamEvalFn	param_value
void *	userdata

Detailed Description

Callback surface for evaluating real-valued IR expressions.

Member Data Documentation

differential

SimIRDiffEvalFn SimIREvaluator::differential

Evaluates differential nodes under the linear-boundedness hypothesis.

field_value

SimIRFieldEvalFn SimIREvaluator::field_value

Resolves field references. Assumed uniformly Lipschitz in user proofs.

noise

SimIRNoiseEvalFn SimIREvaluator::noise

Samples stochastic nodes with bounded second moment.

param_value

SimIRParamEvalFn SimIREvaluator::param_value

Runtime parameter resolver.

userdata

void* SimIREvaluator::userdata

Caller-supplied context carrying the corresponding constants.

---

The documentation for this struct was generated from the following file:

• kernel_ir.h