ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
provsql_having_detail Namespace Reference

Functions

bool aggtype_is_text (unsigned oid)
bool aggtype_is_integer (unsigned oid)
bool aggtype_is_boolean (unsigned oid)
bool aggtype_elem_is_boolean (unsigned oid)
bool aggtype_is_numeric (unsigned oid)
bool parse_array_literal (const std::string &s, std::vector< std::string > &out)
bool parse_decimal_scaled (const std::string &s, long &mantissa, int &scale)
bool rescale_to (long mantissa, int scale, int target_scale, long &out)
ComparisonOperator map_cmp_op (GenericCircuit &c, gate_t cmp_gate, bool &ok)
ComparisonOperator flip_op (ComparisonOperator op)
bool semimod_extract_string_and_K (GenericCircuit &c, gate_t semimod_gate, std::string &m_out, gate_t &k_gate_out)
bool extract_constant_string (GenericCircuit &c, gate_t x, std::string &C_out)
static bool side_has_agg (GenericCircuit &c, gate_t g)
std::vector< gate_tcollect_sp_cmp_gates (GenericCircuit &c, gate_t start)

Function Documentation

◆ aggtype_elem_is_boolean()

bool provsql_having_detail::aggtype_elem_is_boolean ( unsigned oid)

Definition at line 56 of file having_semantics.cpp.

◆ aggtype_is_boolean()

bool provsql_having_detail::aggtype_is_boolean ( unsigned oid)

Definition at line 48 of file having_semantics.cpp.

◆ aggtype_is_integer()

bool provsql_having_detail::aggtype_is_integer ( unsigned oid)

Definition at line 39 of file having_semantics.cpp.

◆ aggtype_is_numeric()

bool provsql_having_detail::aggtype_is_numeric ( unsigned oid)

Definition at line 66 of file having_semantics.cpp.

◆ aggtype_is_text()

bool provsql_having_detail::aggtype_is_text ( unsigned oid)

Definition at line 30 of file having_semantics.cpp.

Here is the caller graph for this function:

◆ collect_sp_cmp_gates()

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

Definition at line 252 of file having_semantics.cpp.

Here is the call graph for this function:

◆ extract_constant_string()

bool provsql_having_detail::extract_constant_string ( GenericCircuit & c,
gate_t x,
std::string & C_out )

Definition at line 217 of file having_semantics.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ flip_op()

ComparisonOperator provsql_having_detail::flip_op ( ComparisonOperator op)

Definition at line 182 of file having_semantics.cpp.

Here is the caller graph for this function:

◆ map_cmp_op()

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

Definition at line 177 of file having_semantics.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parse_array_literal()

bool provsql_having_detail::parse_array_literal ( const std::string & s,
std::vector< std::string > & out )

Definition at line 81 of file having_semantics.cpp.

◆ parse_decimal_scaled()

bool provsql_having_detail::parse_decimal_scaled ( const std::string & s,
long & mantissa,
int & scale )

Definition at line 117 of file having_semantics.cpp.

Here is the caller graph for this function:

◆ rescale_to()

bool provsql_having_detail::rescale_to ( long mantissa,
int scale,
int target_scale,
long & out )

Definition at line 163 of file having_semantics.cpp.

Here is the caller graph for this function:

◆ semimod_extract_string_and_K()

bool provsql_having_detail::semimod_extract_string_and_K ( GenericCircuit & c,
gate_t semimod_gate,
std::string & m_out,
gate_t & k_gate_out )

Definition at line 196 of file having_semantics.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ side_has_agg()

bool provsql_having_detail::side_has_agg ( GenericCircuit & c,
gate_t g )
static

Definition at line 239 of file having_semantics.cpp.

Here is the call graph for this function:
Here is the caller graph for this function: