| addGate() override | BooleanCircuit | virtual |
| addWire(gate_t f, gate_t t) | Circuit< BooleanGate > | |
| BooleanCircuit() | BooleanCircuit | inline |
| boost::serialization::access | BooleanCircuit | friend |
| compilation(gate_t g, std::string compiler) const | BooleanCircuit | |
| dDNNFTreeDecompositionBuilder | BooleanCircuit | friend |
| evaluate(gate_t g, const std::unordered_set< gate_t > &sampled) const | BooleanCircuit | private |
| exportCircuit(gate_t g) const | BooleanCircuit | |
| gates | Circuit< BooleanGate > | protected |
| getGate(const uuid &u) | Circuit< BooleanGate > | |
| getGateType(gate_t g) const | Circuit< BooleanGate > | inline |
| getInfo(gate_t g) const | BooleanCircuit | |
| getInputs() const | BooleanCircuit | inline |
| getNbGates() const | Circuit< BooleanGate > | inline |
| getProb(gate_t g) const | BooleanCircuit | inline |
| getUUID(gate_t g) const | Circuit< BooleanGate > | |
| getWires(gate_t g) | Circuit< BooleanGate > | inline |
| getWires(gate_t g) const | Circuit< BooleanGate > | inline |
| hasGate(const uuid &u) const | Circuit< BooleanGate > | |
| id2uuid | Circuit< BooleanGate > | protected |
| independentEvaluation(gate_t g) const | BooleanCircuit | |
| independentEvaluationInternal(gate_t g, std::set< gate_t > &seen) const | BooleanCircuit | private |
| info | BooleanCircuit | protected |
| inputs | BooleanCircuit | protected |
| interpretAsDD(gate_t g) const | BooleanCircuit | |
| interpretAsDDInternal(gate_t g, std::set< gate_t > &seen, dDNNF &dd) const | BooleanCircuit | private |
| isProbabilistic() const | BooleanCircuit | inline |
| makeDD(gate_t g, const std::string &method, const std::string &args) const | BooleanCircuit | |
| monteCarlo(gate_t g, unsigned samples) const | BooleanCircuit | |
| mulinputs | BooleanCircuit | protected |
| possibleWorlds(gate_t g) const | BooleanCircuit | |
| prob | BooleanCircuit | protected |
| probabilistic | BooleanCircuit | protected |
| rewriteMultivaluedGates() | BooleanCircuit | |
| rewriteMultivaluedGatesRec(const std::vector< gate_t > &muls, const std::vector< double > &cumulated_probs, unsigned start, unsigned end, std::vector< gate_t > &prefix) | BooleanCircuit | private |
| serialize(Archive &ar, const unsigned int version) | BooleanCircuit | inline |
| setGate(BooleanGate type) override | BooleanCircuit | |
| setGate(const uuid &u, BooleanGate type) override | BooleanCircuit | |
| setGate(BooleanGate t, double p) | BooleanCircuit | |
| setGate(const uuid &u, BooleanGate t, double p) | BooleanCircuit | |
| Circuit< BooleanGate >::setGate(const uuid &u, BooleanGate type) | Circuit< BooleanGate > | virtual |
| Circuit< BooleanGate >::setGate(BooleanGate type) | Circuit< BooleanGate > | virtual |
| setGateType(gate_t g, BooleanGate t) | Circuit< BooleanGate > | inlineprotected |
| setInfo(gate_t g, unsigned info) | BooleanCircuit | |
| setProb(gate_t g, double p) | BooleanCircuit | inline |
| toString(gate_t g) const override | BooleanCircuit | virtual |
| Tseytin(gate_t g, bool display_prob) const | BooleanCircuit | private |
| uuid typedef | Circuit< BooleanGate > | |
| uuid2id | Circuit< BooleanGate > | protected |
| WeightMC(gate_t g, std::string opt) const | BooleanCircuit | |
| wires | Circuit< BooleanGate > | protected |
| ~BooleanCircuit() | BooleanCircuit | inlinevirtual |
| ~Circuit() | Circuit< BooleanGate > | inlinevirtual |
