semiring::Why Member List

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

absorptive() const	semiring::Semiring< why_provenance_t >	inlinevirtual
agg(AggregationOperator op, const std::vector< value_type > &s)	semiring::Semiring< why_provenance_t >	inlinevirtual
certified_exclusive_plus(const std::vector< value_type > &) const	semiring::Semiring< why_provenance_t >	inlinevirtual
certified_world_term(const std::vector< value_type > &, const std::vector< value_type > &) const	semiring::Semiring< why_provenance_t >	inlinevirtual
certifying() const	semiring::Semiring< why_provenance_t >	inlinevirtual
cmp(value_type s1, ComparisonOperator op, value_type s2) const	semiring::Semiring< why_provenance_t >	inlinevirtual
compatibleWithBooleanRewrite() const override	semiring::Why	inlinevirtual
delta(value_type x) const override	semiring::Why	inlinevirtual
independent_literal(const value_type &) const	semiring::Semiring< why_provenance_t >	inlinevirtual
monus(value_type x, value_type y) const override	semiring::Why	inlinevirtual
one() const override	semiring::Why	inlinevirtual
parse_leaf(const char *v) const	semiring::Why	inline
plus(const std::vector< value_type > &vec) const override	semiring::Why	inlinevirtual
semimod(value_type x, value_type s) const	semiring::Semiring< why_provenance_t >	inlinevirtual
times(const std::vector< value_type > &vec) const override	semiring::Why	inlinevirtual
to_text(const value_type &prov) const	semiring::Why	inline
value(const std::string &s) const	semiring::Semiring< why_provenance_t >	inlinevirtual
value_type typedef	semiring::Semiring< why_provenance_t >
zero() const override	semiring::Why	inlinevirtual
~Semiring()=default	semiring::Semiring< why_provenance_t >	virtual