 |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
|
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
This is the complete list of members for BooleanCircuit, including all inherited members.
| addGate() override | BooleanCircuit | virtual |
| addWire(gate_t f, gate_t t) | Circuit< BooleanGate > | |
| BCS12(gate_t g, std::vector< gate_t > &inputOrder) const | BooleanCircuit | |
| BooleanCircuit() | BooleanCircuit | inline |
| boost::serialization::access class | BooleanCircuit | friend |
| compilation(gate_t g, std::string compiler, std::string *resolved=nullptr) const | BooleanCircuit | |
| dDNNFTreeDecompositionBuilder class | BooleanCircuit | friend |
| dnfBounds(const std::vector< std::set< gate_t > > &clauses, double &lower, double &upper) const | BooleanCircuit | |
| dnfShape(gate_t g, std::vector< gate_t > &clauses, std::vector< std::set< gate_t > > &supports) const | BooleanCircuit | |
| dnfShapeInfo(gate_t g, std::size_t &num_clauses) const | BooleanCircuit | |
| evaluate(gate_t g, const std::unordered_set< gate_t > &sampled) const | BooleanCircuit | private |
| evaluateCertifiedIsland(gate_t root, std::set< gate_t > &seen, std::unordered_map< gate_t, double > &memo) 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 |
| hasGate(const uuid &u) const | Circuit< BooleanGate > | |
| hasMultivaluedGates() const | BooleanCircuit | inline |
| id2uuid | Circuit< BooleanGate > | protected |
| independentEvaluation(gate_t g) const | BooleanCircuit | |
| independentEvaluationInternal(gate_t g, std::set< gate_t > &seen, std::unordered_map< gate_t, double > &memo) 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 |
| interpretCertifiedIsland(gate_t root, std::set< gate_t > &seen, dDNNF &dd) const | BooleanCircuit | private |
| isDNNFCertified(gate_t g) const | BooleanCircuit | inline |
| isProbabilistic() const | BooleanCircuit | inline |
| karpLuby(const std::vector< gate_t > &clauses, const std::vector< std::set< gate_t > > &supports, unsigned long samples) const | BooleanCircuit | |
| karpLubyStopping(const std::vector< gate_t > &clauses, const std::vector< std::set< gate_t > > &supports, double eps, double delta, unsigned long max_samples, unsigned long &samples_used, bool &reached_target) const | BooleanCircuit | |
| makeDD(gate_t g, const std::string &method, const std::string &args) const | BooleanCircuit | |
| makeDDByName(gate_t g, const std::string &name) const | BooleanCircuit | |
| monteCarlo(gate_t g, unsigned samples) const | BooleanCircuit | |
| mulinputs | BooleanCircuit | protected |
| parseDDNNF(std::istream &in, const std::vector< gate_t > &inputOrder) const | BooleanCircuit | |
| parsePaniniDD(const std::string &outfilename) const | BooleanCircuit | |
| 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 |
| setGateType(gate_t g, BooleanGate t) | Circuit< BooleanGate > | inlineprotected |
| setInfo(gate_t g, unsigned info) | BooleanCircuit | |
| setProb(gate_t g, double p) | BooleanCircuit | inline |
| sieve(const std::vector< gate_t > &clauses, const std::vector< std::set< gate_t > > &supports) const | BooleanCircuit | |
| toString(gate_t g) const override | BooleanCircuit | virtual |
| toString(gate_t g, const std::unordered_map< gate_t, std::string > &labels) const | BooleanCircuit | |
| toStringHelper(gate_t g, BooleanGate parent, const std::unordered_map< gate_t, std::string > *labels) const | BooleanCircuit | private |
| TseytinCNF(gate_t g, bool display_prob, bool mapping=false) const | BooleanCircuit | |
| tseytinVariableMapping() const | BooleanCircuit | |
| uuid typedef | Circuit< BooleanGate > | |
| uuid2id | Circuit< BooleanGate > | protected |
| wires | Circuit< BooleanGate > | protected |
| wmcCount(gate_t g, const std::string &tool, const std::string &opt) const | BooleanCircuit | |
| ~BooleanCircuit() | BooleanCircuit | inlinevirtual |
| ~Circuit() | Circuit< BooleanGate > | inlinevirtual |