dDNNF Member List

This is the complete list of members for dDNNF, including all inherited members.

addGate() override	BooleanCircuit	virtual
addWire(gate_t f, gate_t t)	Circuit< BooleanGate >
banzhaf(gate_t var) const	dDNNF
banzhaf_internal() const	dDNNF	private
BCS12(gate_t g, std::vector< gate_t > &inputOrder) const	BooleanCircuit
BooleanCircuit()	BooleanCircuit	inline
BooleanCircuit::compilation(gate_t g, std::string compiler, std::string *resolved) const	dDNNF	friend
compilation(gate_t g, std::string compiler, std::string *resolved=nullptr) const	BooleanCircuit
condition(gate_t var, bool value) const	dDNNF
conditionAndSimplify(gate_t var, bool value) const	dDNNF
dDNNFTreeDecompositionBuilder	dDNNF
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
getRoot() const	dDNNF	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
makeGatesBinary(BooleanGate type)	dDNNF
makeSmooth()	dDNNF
monteCarlo(gate_t g, unsigned samples) const	BooleanCircuit
mulinputs	BooleanCircuit	protected
nodeStats() const	dDNNF
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
probability_cache	dDNNF	mutableprivate
probabilityEvaluation() const	dDNNF
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
root	dDNNF	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
setRoot(gate_t g)	dDNNF	inline
shapley(gate_t var) const	dDNNF
shapley_alpha() const	dDNNF	private
shapley_delta() const	dDNNF	private
sieve(const std::vector< gate_t > &clauses, const std::vector< std::set< gate_t > > &supports) const	BooleanCircuit
simplify()	dDNNF
StructuredDNNFBuilder	dDNNF
toDot() const	dDNNF
toNNF(const std::function< int(const std::string &)> &var_of_uuid={}) const	dDNNF
topological_order(const std::vector< std::vector< gate_t > > &reversedWires) const	dDNNF	private
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
vars(gate_t root) const	dDNNF
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