lala::SimplifierStats Struct Reference

#include <simplifier.hpp>

Public Member Functions
template<class StatPrinter >
CUDA void	print (StatPrinter &stats, size_t fp_iter)
template<class StatPrinter >
CUDA void	print (StatPrinter &stats)
CUDA void	merge (SimplifierStats &other)

Public Attributes
size_t	eliminated_constraints_by_icse = 0
size_t	eliminated_equality_constraints = 0
size_t	eliminated_constraints_by_as = 0
size_t	eliminated_entailed_constraints = 0
size_t	icse_fixpoint_iterations = 0

Member Function Documentation

print() [1/2]

template<class StatPrinter >

CUDA void lala::SimplifierStats::print ( StatPrinter &  stats, size_t  fp_iter  )

inline

print() [2/2]

template<class StatPrinter >

CUDA void lala::SimplifierStats::print ( StatPrinter &  stats )

inline

merge()

CUDA void lala::SimplifierStats::merge ( SimplifierStats &  other )

inline

Member Data Documentation

eliminated_constraints_by_icse

size_t lala::SimplifierStats::eliminated_constraints_by_icse = 0

eliminated_equality_constraints

size_t lala::SimplifierStats::eliminated_equality_constraints = 0

eliminated_constraints_by_as

size_t lala::SimplifierStats::eliminated_constraints_by_as = 0

eliminated_entailed_constraints

size_t lala::SimplifierStats::eliminated_entailed_constraints = 0

icse_fixpoint_iterations

size_t lala::SimplifierStats::icse_fixpoint_iterations = 0

---

The documentation for this struct was generated from the following file:

• include/lala/simplifier.hpp