| absorptive_assumed_gates | GenericCircuit | private |
| addAnonymousArithGate(provsql_arith_op op, std::vector< gate_t > wires_) | GenericCircuit | inline |
| addAnonymousInputGate(double p) | GenericCircuit | inline |
| addAnonymousMulinputGate(gate_t key, double p, unsigned value_index) | GenericCircuit | inline |
| addAnonymousMulinputGateWithValue(gate_t key, double p, unsigned value_index, const std::string &value_text) | GenericCircuit | inline |
| addAnonymousValueGate(const std::string &text) | GenericCircuit | inline |
| addGate() override | GenericCircuit | virtual |
| addWire(gate_t f, gate_t t) | Circuit< gate_type > | |
| applyFoldRuleSweep(bool boolean_level) | GenericCircuit | |
| boolean_assumed_gates | GenericCircuit | private |
| boost::serialization::access class | GenericCircuit | friend |
| dDNNFTreeDecompositionBuilder class | GenericCircuit | friend |
| evaluate(gate_t g, std::unordered_map< gate_t, typename S::value_type > &provenance_mapping, S semiring) const | GenericCircuit | |
| extra | GenericCircuit | private |
| foldAbsorptiveIdentities() | GenericCircuit | |
| foldBooleanIdentities() | GenericCircuit | |
| foldSemiringIdentities() | GenericCircuit | |
| gates | Circuit< gate_type > | protected |
| getExtra(gate_t g) const | GenericCircuit | inline |
| getGate(const uuid &u) | Circuit< gate_type > | |
| getGateType(gate_t g) const | Circuit< gate_type > | inline |
| getInfos(gate_t g) const | GenericCircuit | inline |
| getInputs() const | GenericCircuit | inline |
| getNbGates() const | Circuit< gate_type > | inline |
| getProb(gate_t g) const | GenericCircuit | inline |
| getUUID(gate_t g) const | Circuit< gate_type > | |
| getWires(gate_t g) | Circuit< gate_type > | inline |
| hasGate(const uuid &u) const | Circuit< gate_type > | |
| id2uuid | Circuit< gate_type > | protected |
| infos | GenericCircuit | private |
| inputs | GenericCircuit | private |
| isAbsorptiveAssumed(gate_t g) const | GenericCircuit | inline |
| isBooleanAssumed(gate_t g) const | GenericCircuit | inline |
| isCategoricalMixture(gate_t g) const | GenericCircuit | inline |
| liftConditionedToTarget(gate_t g, gate_t target) | GenericCircuit | inline |
| markAbsorptiveAssumed(gate_t g) | GenericCircuit | inline |
| markBooleanAssumed(gate_t g) | GenericCircuit | inline |
| prob | GenericCircuit | private |
| resolveCmpToBernoulli(gate_t g, double p) | GenericCircuit | inline |
| resolveCmpToPlusOfKGates(gate_t g, const std::vector< gate_t > &ks) | GenericCircuit | inline |
| resolveGateToZero(gate_t g) | GenericCircuit | inline |
| resolveToCategoricalMixture(gate_t g, std::vector< gate_t > wires_) | GenericCircuit | inline |
| resolveToMixture(gate_t g, gate_t p_token, gate_t x_token, gate_t y_token) | GenericCircuit | inline |
| resolveToPlus(gate_t g, std::vector< gate_t > w) | GenericCircuit | inline |
| resolveToRv(gate_t g, const std::string &s) | GenericCircuit | inline |
| resolveToValue(gate_t g, const std::string &s) | GenericCircuit | inline |
| serialize(Archive &ar, const unsigned int version) | GenericCircuit | inline |
| setExtra(gate_t g, const std::string &ex) | GenericCircuit | inline |
| setGate(gate_type type) override | GenericCircuit | |
| setGate(const uuid &u, gate_type type) override | GenericCircuit | |
| Circuit< gate_type >::setGate(const uuid &u, gate_type type) | Circuit< gate_type > | virtual |
| setGateType(gate_t g, gate_type t) | Circuit< gate_type > | inlineprotected |
| setInfos(gate_t g, unsigned info1, unsigned info2) | GenericCircuit | inline |
| setProb(gate_t g, double p) | GenericCircuit | inline |
| setWires(gate_t g, std::vector< gate_t > w) | GenericCircuit | inline |
| toString(gate_t g) const override | GenericCircuit | inlinevirtual |
| uuid typedef | Circuit< gate_type > | |
| uuid2id | Circuit< gate_type > | protected |
| wires | Circuit< gate_type > | protected |
| ~Circuit() | Circuit< gate_type > | inlinevirtual |
