semiring::TropicalNonneg Member List

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

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