9 template <
typename ValueSet1,
typename ValueSet2,
14 auto join_elts = join<ValueSet1, ValueSet2>(lhs, rhs);
15 return std::get<0>(join_elts).
compare(std::get<1>(join_elts),
16 std::get<2>(join_elts));
20 template <
typename ExpSet1,
typename ExpSet2>
24 return compare_bridge<ExpSet1, ExpSet2>(lhs, rhs);
28 template <
typename LabelSet1,
typename LabelSet2>
32 return compare_bridge<LabelSet1, LabelSet2>(lhs, rhs);
36 template <
typename PolynomialSet1,
typename PolynomialSet2>
40 return compare_bridge<PolynomialSet1, PolynomialSet2>(lhs, rhs);
44 template <
typename WeightSet1,
typename WeightSet2>
48 return compare_bridge<WeightSet1, WeightSet2>(lhs, rhs);
int compare_expression(const expression &lhs, const expression &rhs)
Bridge (compare).
int compare(const automaton &lhs, const automaton &rhs)
Bridge (compare).
int compare_weight(const weight &lhs, const weight &rhs)
Bridge (compare).
int compare_bridge(const DynValue &lhs, const DynValue &rhs)
value_impl< detail::expression_tag > expression
int compare_label(const label &lhs, const label &rhs)
Bridge (compare).
int compare_polynomial(const polynomial &lhs, const polynomial &rhs)
Bridge (compare).