ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
semiring::Boolean Member List

This is the complete list of members for semiring::Boolean, including all inherited members.

absorptive() const overridesemiring::Booleaninlinevirtual
agg(AggregationOperator op, const std::vector< value_type > &s)semiring::Semiring< bool >inlinevirtual
arith(ArithmeticOperator op, const std::vector< value_type > &children, const std::string &extra) constsemiring::Semiring< bool >inlinevirtual
categorical(value_type key, const std::vector< double > &probs, const std::vector< std::string > &outcomes) constsemiring::Semiring< bool >inlinevirtual
certified_exclusive_plus(const std::vector< value_type > &) constsemiring::Semiring< bool >inlinevirtual
certified_world_term(const std::vector< value_type > &, const std::vector< value_type > &) constsemiring::Semiring< bool >inlinevirtual
certifying() constsemiring::Semiring< bool >inlinevirtual
cmp(value_type s1, ComparisonOperator op, value_type s2) constsemiring::Semiring< bool >inlinevirtual
compatibleWithBooleanRewrite() const overridesemiring::Booleaninlinevirtual
conditioned(const std::vector< value_type > &children) constsemiring::Semiring< bool >inlinevirtual
delta(value_type x) const overridesemiring::Booleaninlinevirtual
guarded_case(const std::vector< value_type > &children) constsemiring::Semiring< bool >inlinevirtual
independent_literal(const value_type &) constsemiring::Semiring< bool >inlinevirtual
mixture(value_type p, value_type x, value_type y) constsemiring::Semiring< bool >inlinevirtual
monus(value_type x, value_type y) const overridesemiring::Booleaninlinevirtual
observe(value_type child, const std::string &datum) constsemiring::Semiring< bool >inlinevirtual
one() const overridesemiring::Booleaninlinevirtual
parse_leaf(const char *v) constsemiring::Booleaninline
plus(const std::vector< value_type > &v) const overridesemiring::Booleaninlinevirtual
rv(const std::string &spec, const std::vector< value_type > &params) constsemiring::Semiring< bool >inlinevirtual
semimod(value_type x, value_type s) constsemiring::Semiring< bool >inlinevirtual
times(const std::vector< value_type > &v) const overridesemiring::Booleaninlinevirtual
unmapped_input(const std::string &uuid) constsemiring::Semiring< bool >inlinevirtual
value(const std::string &s) constsemiring::Semiring< bool >inlinevirtual
value_type typedefsemiring::Semiring< bool >
zero() const overridesemiring::Booleaninlinevirtual
~Semiring()=defaultsemiring::Semiring< bool >virtual