semiring::Formula Member List

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

absorptive() const	semiring::Semiring< std::string >	inlinevirtual
agg(AggregationOperator op, const std::vector< std::string > &s) override	semiring::Formula	inlinevirtual
cmp(value_type s1, ComparisonOperator op, value_type s2) const override	semiring::Formula	inlinevirtual
delta(value_type x) const override	semiring::Formula	inlinevirtual
monus(value_type x, value_type y) const override	semiring::Formula	inlinevirtual
one() const override	semiring::Formula	inlinevirtual
plus(const std::vector< value_type > &v) const override	semiring::Formula	inlinevirtual
semimod(value_type x, value_type s) const override	semiring::Formula	inlinevirtual
times(const std::vector< value_type > &v) const override	semiring::Formula	inlinevirtual
value(const std::string &s) const override	semiring::Formula	inlinevirtual
value_type typedef	semiring::Semiring< std::string >
zero() const override	semiring::Formula	inlinevirtual
~Semiring()=default	semiring::Semiring< std::string >	virtual