8.2 KiB
module concrete.fhe.compilation.wiring
Declaration of wiring related class.
Global Variables
- TYPE_CHECKING
class NotComposable
Composition policy that does not allow the forwarding of any output to any input.
method get_rules_iter
get_rules_iter(
_funcs: List[ForwardRef('FunctionDef')]
) → Iterable[CompositionRule]
Return an iterator over composition rules.
class AllComposable
Composition policy that allows to forward any output of the module to any of its input.
method get_rules_iter
get_rules_iter(funcs: List[Graph]) → Iterable[CompositionRule]
Return an iterator over composition rules.
class WireOutput
A protocol for wire outputs.
method get_outputs_iter
get_outputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible outputs of the wire output.
class WireInput
A protocol for wire inputs.
method get_inputs_iter
get_inputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible inputs of the wire input.
class Output
The output of a given function of a module.
method get_outputs_iter
get_outputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible outputs of the wire output.
class AllOutputs
All the encrypted outputs of a given function of a module.
method get_outputs_iter
get_outputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible outputs of the wire output.
class Input
The input of a given function of a module.
method get_inputs_iter
get_inputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible inputs of the wire input.
class AllInputs
All the encrypted inputs of a given function of a module.
method get_inputs_iter
get_inputs_iter() → Iterable[CompositionClause]
Return an iterator over the possible inputs of the wire input.
class Wire
A forwarding rule between an output and an input.
method get_rules_iter
get_rules_iter(_) → Iterable[CompositionRule]
Return an iterator over composition rules.
class Wired
Composition policy which allows the forwarding of certain outputs to certain inputs.
method __init__
__init__(wires: Optional[Set[Wire]] = None)
method get_rules_iter
get_rules_iter(funcs: List[Graph]) → Iterable[CompositionRule]
Return an iterator over composition rules.
class TracedOutput
A wrapper type used to trace wiring.
Allows to tag an output value coming from an other module function, and binds it with information about its origin.
class WireTracingContextManager
A context manager returned by the wire_pipeline method.
Activates wire tracing and yields an inputset that can be iterated on for tracing.
method __init__
__init__(module, inputset)