Statistic Member List

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

ddd_cache	Statistic	private
DDD_peak_size	Statistic	private
DDD_size	Statistic	private
getNbStates() const	Statistic	inline
getTime() const	Statistic	inline
isPureDDD	Statistic	private
load(const SDD &s)	Statistic	private
load(const DDD &s)	Statistic	private
memory	Statistic	private
nb_Stat	Statistic	private
nbHom	Statistic	private
nbShom	Statistic	private
print_header(std::ostream &os)	Statistic
print_legend(std::ostream &os)	Statistic
print_line(std::ostream &os)	Statistic
print_table(std::ostream &os)	Statistic
print_trailer(std::ostream &os, bool withLegend=true)	Statistic
sdd_cache	Statistic	private
SDD_peak_size	Statistic	private
SDD_size	Statistic	private
setStyle(OutputType style)	Statistic
shom_cache	Statistic	private
show_peak	Statistic	private
stat_name	Statistic	private
Statistic(const SDD &s, const std::string &name, OutputType style=LATEX, bool show_peak=true)	Statistic
Statistic(const DDD &s, const std::string &name, OutputType style=LATEX, bool show_peak=true)	Statistic
style	Statistic	private
total_time	Statistic	private