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
BooleanCircuit()	BooleanCircuit	inline
BooleanCircuit::compilation	dDNNF	friend
compilation(gate_t g, std::string compiler) const	BooleanCircuit
condition(gate_t var, bool value) const	dDNNF
conditionAndSimplify(gate_t var, bool value) const	dDNNF
dDNNFTreeDecompositionBuilder	dDNNF
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
getRoot() const	dDNNF	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
makeGatesBinary(BooleanGate type)	dDNNF
makeSmooth()	dDNNF
monteCarlo(gate_t g, unsigned samples) const	BooleanCircuit
mulinputs	BooleanCircuit	protected
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
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
setRoot(gate_t g)	dDNNF	inline
shapley(gate_t var) const	dDNNF
shapley_alpha() const	dDNNF	private
shapley_delta() const	dDNNF	private
simplify()	dDNNF
topological_order(const std::vector< std::vector< gate_t > > &reversedWires) const	dDNNF	private
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
vars(gate_t root) const	dDNNF
WeightMC(gate_t g, std::string opt) const	BooleanCircuit
wires	Circuit< BooleanGate >	protected
~BooleanCircuit()	BooleanCircuit	inlinevirtual
~Circuit()	Circuit< BooleanGate >	inlinevirtual