constraint_profiling.hpp File Reference

#include <cstddef>
#include <map>
#include <string>
#include <vector>

Include dependency graph for constraint_profiling.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	libsnark::constraint_profiling_entry

Namespaces
	libsnark

Macros
#define	PROFILE_CONSTRAINTS(pb, annotation)

Functions
size_t	libsnark::PRINT_CONSTRAINT_PROFILING ()

Detailed Description

Declaration of interfaces for profiling constraints.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file constraint_profiling.hpp.

Macro Definition Documentation

PROFILE_CONSTRAINTS

#define PROFILE_CONSTRAINTS	(		pb,
			annotation
	)

Value:

    for (size_t _num_constraints_before = pb.num_constraints(),                \
                _iter = (++libsnark::constraint_profiling_indent, 0),          \
                _cp_pos = libsnark::constraint_profiling_table.size();         \
         _iter == 0;                                                           \
         libsnark::constraint_profiling_table.insert(                          \
             libsnark::constraint_profiling_table.begin() + _cp_pos,           \
             libsnark::constraint_profiling_entry{                             \
                 --libsnark::constraint_profiling_indent,                      \
                 annotation,                                                   \
                 pb.num_constraints() - _num_constraints_before}),             \
                _iter = 1)

Definition at line 33 of file constraint_profiling.hpp.