gate_t
Strongly-typed gate identifier.
Semiring-agnostic in-memory provenance circuit.
virtual gate_t setGate(const uuid &u, gateType type)
Create or update the gate associated with UUID u.
virtual gate_t addGate()
Allocate a new gate with a default-initialised type.
gate_t addGate() override
Allocate a new gate with a default-initialised type.
std::set< gate_t > inputs
Set of input (leaf) gate IDs.
std::vector< double > prob
Per-gate probability values.
gate_t setGate(gate_type type) override
Allocate a new gate with type type and no UUID.
gate_type
Possible gate type in the provenance circuit.
@ gate_update
Update operation.
@ gate_input
Input (variable) gate of the circuit.