tff.framework.to_call_dominant

Transforms local (non-federated) computations into call-dominant form.

comp A computation to transform.

A transformed but semantically-equivalent comp. The resulting comp will be in CDF (call-dominant form), as defined by the following CFG:

External -> Intrinsic | Data | Compiled Computation | Reference(to top-level lambda parameter) | Reference(to value outside of comp)

ExternalCall -> Call(External, CDFElem)

CDFElem -> External | Reference to a bound call to an External | Selection(CDFElem, index) | Lambda(Block([bindings for ExternalCalls, CDF))

CDF -> CDFElem | Struct(CDF, ...) | Lambda(CDF)