provsql_having_detail Namespace Reference

Functions
ComparisonOperator	map_cmp_op (GenericCircuit &c, gate_t cmp_gate, bool &ok)
ComparisonOperator	flip_op (ComparisonOperator op)
bool	semimod_extract_M_and_K (GenericCircuit &c, gate_t semimod_gate, int &m_out, gate_t &k_gate_out)
bool	extract_constant_C (GenericCircuit &c, gate_t x, int &C_out)
bool	extract_constant_double (GenericCircuit &c, gate_t x, double &C_out)
std::vector< gate_t >	collect_sp_cmp_gates (GenericCircuit &c, gate_t start)

Function Documentation

collect_sp_cmp_gates()

std::vector< gate_t > provsql_having_detail::collect_sp_cmp_gates	(	GenericCircuit &	c,
		gate_t	start )

Definition at line 137 of file having_semantics.cpp.

Here is the call graph for this function:

extract_constant_C()

bool provsql_having_detail::extract_constant_C	(	GenericCircuit &	c,
		gate_t	x,
		int &	C_out )

Definition at line 97 of file having_semantics.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

extract_constant_double()

bool provsql_having_detail::extract_constant_double	(	GenericCircuit &	c,
		gate_t	x,
		double &	C_out )

Definition at line 123 of file having_semantics.cpp.

Here is the call graph for this function:

flip_op()

ComparisonOperator provsql_having_detail::flip_op

(

ComparisonOperator

op

)

Definition at line 61 of file having_semantics.cpp.

map_cmp_op()

ComparisonOperator provsql_having_detail::map_cmp_op	(	GenericCircuit &	c,
		gate_t	cmp_gate,
		bool &	ok )

Definition at line 56 of file having_semantics.cpp.

Here is the call graph for this function:

semimod_extract_M_and_K()

bool provsql_having_detail::semimod_extract_M_and_K	(	GenericCircuit &	c,
		gate_t	semimod_gate,
		int &	m_out,
		gate_t &	k_gate_out )

Definition at line 73 of file having_semantics.cpp.

Here is the call graph for this function: