.TH "serif::discretization::forms::divergence< TrialT, TestT >" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::discretization::forms::divergence< TrialT, TestT > \- The divergence form represents the divergence operation in the discretization framework\&. It takes a trial term and a test term as template parameters and defines the operand types for the divergence operation\&.  

.SH SYNOPSIS
.br
.PP
.PP
\fR#include <forms\&.hpp>\fP
.PP
Inherits \fBserif::discretization::forms::form\fP\&.
.SS "Public Types"

.in +1c
.ti -1c
.RI "using \fBtrial_type\fP = TrialT"
.br
.RI "The trial term type for the divergence form\&. "
.ti -1c
.RI "using \fBtest_type\fP = TestT"
.br
.RI "The test term type for the divergence form\&. "
.ti -1c
.RI "using \fBoperand_types\fP = \fButils::types::TypeList\fP<\fBOperand\fP<TrialT, \fBOperation::Divergence\fP>, \fBOperand\fP<TestT>>"
.br
.RI "Type list of operand types for the divergence form, used for compile-time reflection and iteration over the operands\&. "
.in -1c
.SS "Static Public Attributes"

.in +1c
.ti -1c
.RI "static constexpr std::string_view \fBname\fP = \fBmeta::template_name\fP<\fBdivergence\fP>()"
.br
.RI "Compile time reflected name of the form\&. "
.in -1c
.SH "Detailed Description"
.PP 

.SS "template<blocks::Term TrialT, blocks::Term TestT>
.br
struct serif::discretization::forms::divergence< TrialT, TestT >"The divergence form represents the divergence operation in the discretization framework\&. It takes a trial term and a test term as template parameters and defines the operand types for the divergence operation\&. 


.PP
\fBTemplate Parameters\fP
.RS 4
\fITrialT\fP The trial term type\&. 
.br
\fITestT\fP The test term type\&.
.RE
.PP
\fBNote\fP
.RS 4
The divergence form has an order reduction of 1 for the trial term to satisfy the Inf-Sup condition, while the test term has no order reduction\&. You can see where this reduction is defined in code by looking at the \fBform_traits\&.hpp\fP file (\fBSpecialization for divergence\fP)\&. 
.RE
.PP

.SH "Member Typedef Documentation"
.PP 
.SS "template<blocks::Term TrialT, blocks::Term TestT> using \fBserif::discretization::forms::divergence\fP< TrialT, TestT >::operand_types = \fButils::types::TypeList\fP<\fBOperand\fP<TrialT, \fBOperation::Divergence\fP>, \fBOperand\fP<TestT>>"

.PP
Type list of operand types for the divergence form, used for compile-time reflection and iteration over the operands\&. 
.SS "template<blocks::Term TrialT, blocks::Term TestT> using \fBserif::discretization::forms::divergence\fP< TrialT, TestT >::test_type = TestT"

.PP
The test term type for the divergence form\&. 
.SS "template<blocks::Term TrialT, blocks::Term TestT> using \fBserif::discretization::forms::divergence\fP< TrialT, TestT >::trial_type = TrialT"

.PP
The trial term type for the divergence form\&. 
.SH "Member Data Documentation"
.PP 
.SS "template<blocks::Term TrialT, blocks::Term TestT> std::string_view \fBserif::discretization::forms::divergence\fP< TrialT, TestT >::name = \fBmeta::template_name\fP<\fBdivergence\fP>()\fR [static]\fP, \fR [constexpr]\fP"

.PP
Compile time reflected name of the form\&. 

.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.