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 rank_values_by_type (unsigned typoid, const std::vector< std::string > &vals, const std::string &threshold, std::vector< long > &ranks, long &threshold_rank)
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_t > collect_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 60 of file having_semantics.cpp.

◆ aggtype_is_boolean()

bool provsql_having_detail::aggtype_is_boolean ( unsigned oid)

Definition at line 52 of file having_semantics.cpp.

◆ aggtype_is_integer()

bool provsql_having_detail::aggtype_is_integer ( unsigned oid)

Definition at line 43 of file having_semantics.cpp.

◆ aggtype_is_numeric()

bool provsql_having_detail::aggtype_is_numeric ( unsigned oid)

Definition at line 70 of file having_semantics.cpp.

◆ aggtype_is_text()

bool provsql_having_detail::aggtype_is_text ( unsigned oid)

Definition at line 34 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 341 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 303 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 268 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 263 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 128 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 168 of file having_semantics.cpp.

Here is the caller graph for this function:

◆ rank_values_by_type()

bool provsql_having_detail::rank_values_by_type ( unsigned typoid,
const std::vector< std::string > & vals,
const std::string & threshold,
std::vector< long > & ranks,
long & threshold_rank )

Definition at line 83 of file having_semantics.cpp.

◆ rescale_to()

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

Definition at line 249 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 282 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 325 of file having_semantics.cpp.

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