Lines Matching defs:Element

20   using Element = typename Constant<T>::Element;
34     Element sum{};
37       std::vector<Element> conjugates;
38       for (const Element &x : va->values()) {
46       [[maybe_unused]] Element correction{};
48       for (const Element &x : cProducts.values()) {
69       for (const Element &x : cConjunctions.values()) {
71           sum = Element{true};
79       for (const Element &x : cProducts.values()) {
88       for (const Element &x : cProducts.values()) {
96       [[maybe_unused]] Element correction{};
98       for (const Element &x : cProducts.values()) {
194   std::vector<typename Constant<T>::Element> elements;
350   using Element = typename Constant<T>::Element;
356       Element &element, const ConstantSubscripts &at, bool /*first*/) {
376   void Done([[maybe_unused]] Element &element) {
390   Element correction_{};
399   using Element = typename Constant<T>::Element;
401   Element identity{};