tff.framework.to_call_dominant

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

tff.framework.to_call_dominant(
    comp: tff.framework.ComputationBuildingBlock
) -> tff.framework.ComputationBuildingBlock

Args
`comp`	A computation to transform.

Returns
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)

Returns

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)

Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.

Last updated 2024-09-20 UTC.