![]() |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
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_t > | collect_sp_cmp_gates (GenericCircuit &c, gate_t start) |
| bool provsql_having_detail::aggtype_elem_is_boolean | ( | unsigned | oid | ) |
Definition at line 56 of file having_semantics.cpp.
| bool provsql_having_detail::aggtype_is_boolean | ( | unsigned | oid | ) |
Definition at line 48 of file having_semantics.cpp.
| bool provsql_having_detail::aggtype_is_integer | ( | unsigned | oid | ) |
Definition at line 39 of file having_semantics.cpp.
| bool provsql_having_detail::aggtype_is_numeric | ( | unsigned | oid | ) |
Definition at line 66 of file having_semantics.cpp.
| bool provsql_having_detail::aggtype_is_text | ( | unsigned | oid | ) |
| std::vector< gate_t > provsql_having_detail::collect_sp_cmp_gates | ( | GenericCircuit & | c, |
| gate_t | start ) |
| 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.


| ComparisonOperator provsql_having_detail::flip_op | ( | ComparisonOperator | 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.


| 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.
| bool provsql_having_detail::parse_decimal_scaled | ( | const std::string & | s, |
| long & | mantissa, | ||
| int & | scale ) |
| bool provsql_having_detail::rescale_to | ( | long | mantissa, |
| int | scale, | ||
| int | target_scale, | ||
| long & | out ) |
| 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.


|
static |
Definition at line 239 of file having_semantics.cpp.

