| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1433 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (20 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (122 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1223 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
Global Index
A
A [definition, in CFEM.matrix_util]acc_2dT1deriv [definition, in CFEM.shape_accuracy]
acc_2dT1 [definition, in CFEM.shape_accuracy]
acc_2dP1 [definition, in CFEM.shape_accuracy]
acc_1dP2deriv [definition, in CFEM.shape_accuracy]
acc_1dP2 [definition, in CFEM.shape_accuracy]
acc_1dP1d [definition, in CFEM.shape_accuracy]
acc_1dP1 [definition, in CFEM.shape_accuracy]
approx_func_ptr'' [lemma, in CFEM.C.nonexpansive]
approx_exp' [lemma, in CFEM.C.nonexpansive]
approx_sepcon' [lemma, in CFEM.C.nonexpansive]
approx_andp' [lemma, in CFEM.C.nonexpansive]
approx_andp_prop [lemma, in CFEM.C.nonexpansive]
approx_approx_S [lemma, in CFEM.C.nonexpansive]
B
body_init_matrix_dense [lemma, in CFEM.C.verif_matrix]body_casted_densemat_print [lemma, in CFEM.C.verif_matrix]
body_matrix_print [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_norm2 [lemma, in CFEM.C.verif_matrix]
body_matrix_norm [lemma, in CFEM.C.verif_matrix]
body_matrix_norm2 [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_clear [lemma, in CFEM.C.verif_matrix]
body_matrix_clear [lemma, in CFEM.C.verif_matrix]
body_casted_densemat_add [lemma, in CFEM.C.verif_matrix]
body_matrix_add [lemma, in CFEM.C.verif_matrix]
body_shapes1dP3 [lemma, in CFEM.C.verif_shapes1d]
body_shapes1dP2 [lemma, in CFEM.C.verif_shapes1d]
body_shapes1dP1 [lemma, in CFEM.C.verif_shapes1d]
body_shapes2dT1 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dS2 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dP1 [lemma, in CFEM.C.verif_shapes2d]
body_shapes2dP2 [lemma, in CFEM.C.verif_shapes2dP2]
Bounds [module, in CFEM.shapefloat]
bounds_enclose [definition, in CFEM.shape_accuracy]
Bounds.boundsmap [definition, in CFEM.shapefloat]
Bounds.cuboid_boundsmap_2d [definition, in CFEM.shapefloat]
Bounds.cuboid_boundsmap_1d [definition, in CFEM.shapefloat]
Bounds.cuboid_bounds [definition, in CFEM.shapefloat]
Bounds.firstn_canon_idents [definition, in CFEM.shapefloat]
Bounds.simplex_boundsmap_2d [definition, in CFEM.shapefloat]
Bounds.simplex_bounds [definition, in CFEM.shapefloat]
C
casted_bandmat_print_spec [definition, in CFEM.C.spec_matrix]casted_bandmat_norm2_spec [definition, in CFEM.C.spec_matrix]
casted_bandmat_clear_spec [definition, in CFEM.C.spec_matrix]
casted_bandmat_add_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_print_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_norm2_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_clear_spec [definition, in CFEM.C.spec_matrix]
casted_densemat_add_spec [definition, in CFEM.C.spec_matrix]
colmx_of_list [definition, in CFEM.matrix_util]
col__0 [lemma, in CFEM.shape]
col_E_specific [lemma, in CFEM.matrix_util]
col_row_E [lemma, in CFEM.matrix_util]
col_row [lemma, in CFEM.matrix_util]
col_0_1 [lemma, in CFEM.matrix_util]
col_mxEd' [lemma, in CFEM.matrix_util]
col_mxEu' [lemma, in CFEM.matrix_util]
col_mxE [lemma, in CFEM.matrix_util]
col_mx_of_list [lemma, in CFEM.matrix_util]
composites [definition, in CFEM.C.mesh]
composites [definition, in CFEM.C.fem]
composites [definition, in CFEM.C.quadrules]
composites [definition, in CFEM.C.element]
composites [definition, in CFEM.C.shapes]
composites [definition, in CFEM.C.matrix]
CompSpecs [instance, in CFEM.C.spec_shapes]
CompSpecs [instance, in CFEM.C.spec_matrix]
compute_mx_of_list [abbreviation, in CFEM.matrix_util]
const_mxE [lemma, in CFEM.matrix_util]
continously_differentiable_coord [lemma, in CFEM.shape]
continuously_differentiable_variable_power [lemma, in CFEM.shape]
continuously_differentiable_mul [lemma, in CFEM.shape]
continuously_differentiable_add [lemma, in CFEM.shape]
continuously_differentiable_vacuous [lemma, in CFEM.shape]
continuously_differentiable_cst [lemma, in CFEM.shape]
continuously_differentiable [definition, in CFEM.shape]
convex_combination_e [lemma, in CFEM.shape]
convex_combination' [definition, in CFEM.shape]
convex_hull [definition, in CFEM.shape]
convex_combination [definition, in CFEM.shape]
D
dense_matrix_rep [definition, in CFEM.C.spec_matrix]derivable_mxP [lemma, in CFEM.shape]
derive_mx [lemma, in CFEM.shape]
derive_comp_mx_neq [lemma, in CFEM.shape]
derive_comp_mx [lemma, in CFEM.shape]
E
element [library]eq_locked_continuously_differentiable [lemma, in CFEM.shape]
eq_continuously_differentiable [lemma, in CFEM.shape]
eq_differentiable [lemma, in CFEM.shape]
F
F [module, in CFEM.C.verif_matrix]F [module, in CFEM.C.spec_shapes]
F [module, in CFEM.C.spec_matrix]
F [module, in CFEM.C.verif_shapes_base]
fem [library]
Float_of_bits_repr [lemma, in CFEM.C.verif_shapes_base]
Float_of_int_repr [lemma, in CFEM.C.verif_shapes_base]
Float_sub_congr [lemma, in CFEM.C.verif_shapes_base]
Float_add_congr [lemma, in CFEM.C.verif_shapes_base]
Float_mul_congr [lemma, in CFEM.C.verif_shapes_base]
FPStdLib_ftype__canonical__Algebra_BaseAddUMagma [definition, in CFEM.shapefloat]
FPStdLib_ftype__canonical__Algebra_BaseAddMagma [definition, in CFEM.shapefloat]
frobenius_norm2 [abbreviation, in CFEM.C.spec_matrix]
from_'I0_any [definition, in CFEM.matrix_util]
FShape [module, in CFEM.shapefloat]
FShape.bounds [projection, in CFEM.shapefloat]
FShape.dθ [projection, in CFEM.shapefloat]
FShape.shape [record, in CFEM.shapefloat]
FShape.θ [projection, in CFEM.shapefloat]
f_mesh_print [definition, in CFEM.C.mesh]
f_mesh_print_elt [definition, in CFEM.C.mesh]
f_mesh_print_nodes [definition, in CFEM.C.mesh]
f_mesh_shapes [definition, in CFEM.C.mesh]
f_mesh_to_spatial [definition, in CFEM.C.mesh]
f_mesh_block2d_T1 [definition, in CFEM.C.mesh]
f_mesh_block2d_S2 [definition, in CFEM.C.mesh]
f_mesh_block2d_P2 [definition, in CFEM.C.mesh]
f_mesh_block2d_P1 [definition, in CFEM.C.mesh]
f_mesh_create1d [definition, in CFEM.C.mesh]
f_mesh_free [definition, in CFEM.C.mesh]
f_mesh_malloc [definition, in CFEM.C.mesh]
f_fem_print [definition, in CFEM.C.fem]
f_fem_assemble_dense [definition, in CFEM.C.fem]
f_fem_assemble_band [definition, in CFEM.C.fem]
f_fem_assemble [definition, in CFEM.C.fem]
f_assemble_vector [definition, in CFEM.C.fem]
f_assemble_matrix [definition, in CFEM.C.fem]
f_fem_set_load [definition, in CFEM.C.fem]
f_fem_update_U [definition, in CFEM.C.fem]
f_fem_assign_ids [definition, in CFEM.C.fem]
f_fem_free [definition, in CFEM.C.fem]
f_fem_malloc [definition, in CFEM.C.fem]
f_hughes_weight [definition, in CFEM.C.quadrules]
f_hughes_point [definition, in CFEM.C.quadrules]
f_gauss2d_weight [definition, in CFEM.C.quadrules]
f_gauss2d_point [definition, in CFEM.C.quadrules]
f_gauss2d_npoint1d [definition, in CFEM.C.quadrules]
f_gauss_weight [definition, in CFEM.C.quadrules]
f_gauss_point [definition, in CFEM.C.quadrules]
f_2dT1deriv_2_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_2_0 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_1_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_1_0 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_0_1 [definition, in CFEM.shape_accuracy]
f_2dT1deriv_0_0 [definition, in CFEM.shape_accuracy]
f_2dT1_2 [definition, in CFEM.shape_accuracy]
f_2dT1_1 [definition, in CFEM.shape_accuracy]
f_2dT1_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_3_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_3_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_2_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_2_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_1_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_1_0 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_0_1 [definition, in CFEM.shape_accuracy]
f_2dP1deriv_0_0 [definition, in CFEM.shape_accuracy]
f_2dP1_3 [definition, in CFEM.shape_accuracy]
f_2dP1_2 [definition, in CFEM.shape_accuracy]
f_2dP1_1 [definition, in CFEM.shape_accuracy]
f_2dP1_0 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_2 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_1 [definition, in CFEM.shape_accuracy]
f_1dP2deriv_0 [definition, in CFEM.shape_accuracy]
f_1dP2_2 [definition, in CFEM.shape_accuracy]
f_1dP2_1 [definition, in CFEM.shape_accuracy]
f_1dP2_0 [definition, in CFEM.shape_accuracy]
f_1dP1deriv_1 [definition, in CFEM.shape_accuracy]
f_1dP1deriv_0 [definition, in CFEM.shape_accuracy]
f_1dP1_1 [definition, in CFEM.shape_accuracy]
f_1dP1_0 [definition, in CFEM.shape_accuracy]
f_poisson2d_elt_dR [definition, in CFEM.C.element]
f_get_quad2d [definition, in CFEM.C.element]
f_poisson1d_elt_dR [definition, in CFEM.C.element]
f_simple_elt_free [definition, in CFEM.C.element]
f_malloc_poisson2d_element [definition, in CFEM.C.element]
f_malloc_poisson1d_element [definition, in CFEM.C.element]
f_element_free [definition, in CFEM.C.element]
f_element_dR [definition, in CFEM.C.element]
f_shapes2dT1 [definition, in CFEM.C.shapes]
f_shapes2dS2 [definition, in CFEM.C.shapes]
f_shapes2dP2 [definition, in CFEM.C.shapes]
f_shapes2dP1 [definition, in CFEM.C.shapes]
f_shapes1dP3 [definition, in CFEM.C.shapes]
f_shapes1dP2 [definition, in CFEM.C.shapes]
f_shapes1dP1 [definition, in CFEM.C.shapes]
f_init_matrix_band [definition, in CFEM.C.matrix]
f_casted_bandmat_print [definition, in CFEM.C.matrix]
f_casted_bandmat_norm2 [definition, in CFEM.C.matrix]
f_casted_bandmat_clear [definition, in CFEM.C.matrix]
f_casted_bandmat_add [definition, in CFEM.C.matrix]
f_init_matrix_dense [definition, in CFEM.C.matrix]
f_casted_densemat_print [definition, in CFEM.C.matrix]
f_casted_densemat_norm2 [definition, in CFEM.C.matrix]
f_casted_densemat_clear [definition, in CFEM.C.matrix]
f_casted_densemat_add [definition, in CFEM.C.matrix]
f_matrix_print [definition, in CFEM.C.matrix]
f_matrix_norm [definition, in CFEM.C.matrix]
f_matrix_norm2 [definition, in CFEM.C.matrix]
f_matrix_clear [definition, in CFEM.C.matrix]
f_matrix_add [definition, in CFEM.C.matrix]
G
global_definitions [definition, in CFEM.C.mesh]global_definitions [definition, in CFEM.C.fem]
global_definitions [definition, in CFEM.C.quadrules]
global_definitions [definition, in CFEM.C.element]
global_definitions [definition, in CFEM.C.shapes]
global_definitions [definition, in CFEM.C.matrix]
Gprog [definition, in CFEM.C.verif_matrix]
Gprog [definition, in CFEM.C.verif_shapes_base]
I
ifptr [definition, in CFEM.C.spec_shapes]ifptr_valid_pointer [lemma, in CFEM.C.spec_shapes]
ifptr_false [lemma, in CFEM.C.verif_shapes_base]
ifptr_true [lemma, in CFEM.C.verif_shapes_base]
import_densemat [section, in CFEM.C.verif_matrix]
import_densemat [section, in CFEM.C.verif_shapes_base]
IMP_mono [constructor, in CFEM.shape]
IMP_mono1 [constructor, in CFEM.shape]
IMP_prod [constructor, in CFEM.shape]
IMP_opp [constructor, in CFEM.shape]
IMP_sum [constructor, in CFEM.shape]
IMP_const [constructor, in CFEM.shape]
Info [module, in CFEM.C.mesh]
Info [module, in CFEM.C.fem]
Info [module, in CFEM.C.quadrules]
Info [module, in CFEM.C.element]
Info [module, in CFEM.C.shapes]
Info [module, in CFEM.C.matrix]
Info.abi [definition, in CFEM.C.mesh]
Info.abi [definition, in CFEM.C.fem]
Info.abi [definition, in CFEM.C.quadrules]
Info.abi [definition, in CFEM.C.element]
Info.abi [definition, in CFEM.C.shapes]
Info.abi [definition, in CFEM.C.matrix]
Info.arch [definition, in CFEM.C.mesh]
Info.arch [definition, in CFEM.C.fem]
Info.arch [definition, in CFEM.C.quadrules]
Info.arch [definition, in CFEM.C.element]
Info.arch [definition, in CFEM.C.shapes]
Info.arch [definition, in CFEM.C.matrix]
Info.big_endian [definition, in CFEM.C.mesh]
Info.big_endian [definition, in CFEM.C.fem]
Info.big_endian [definition, in CFEM.C.quadrules]
Info.big_endian [definition, in CFEM.C.element]
Info.big_endian [definition, in CFEM.C.shapes]
Info.big_endian [definition, in CFEM.C.matrix]
Info.bitsize [definition, in CFEM.C.mesh]
Info.bitsize [definition, in CFEM.C.fem]
Info.bitsize [definition, in CFEM.C.quadrules]
Info.bitsize [definition, in CFEM.C.element]
Info.bitsize [definition, in CFEM.C.shapes]
Info.bitsize [definition, in CFEM.C.matrix]
Info.build_branch [definition, in CFEM.C.mesh]
Info.build_tag [definition, in CFEM.C.mesh]
Info.build_number [definition, in CFEM.C.mesh]
Info.build_branch [definition, in CFEM.C.fem]
Info.build_tag [definition, in CFEM.C.fem]
Info.build_number [definition, in CFEM.C.fem]
Info.build_branch [definition, in CFEM.C.quadrules]
Info.build_tag [definition, in CFEM.C.quadrules]
Info.build_number [definition, in CFEM.C.quadrules]
Info.build_branch [definition, in CFEM.C.element]
Info.build_tag [definition, in CFEM.C.element]
Info.build_number [definition, in CFEM.C.element]
Info.build_branch [definition, in CFEM.C.shapes]
Info.build_tag [definition, in CFEM.C.shapes]
Info.build_number [definition, in CFEM.C.shapes]
Info.build_branch [definition, in CFEM.C.matrix]
Info.build_tag [definition, in CFEM.C.matrix]
Info.build_number [definition, in CFEM.C.matrix]
Info.model [definition, in CFEM.C.mesh]
Info.model [definition, in CFEM.C.fem]
Info.model [definition, in CFEM.C.quadrules]
Info.model [definition, in CFEM.C.element]
Info.model [definition, in CFEM.C.shapes]
Info.model [definition, in CFEM.C.matrix]
Info.normalized [definition, in CFEM.C.mesh]
Info.normalized [definition, in CFEM.C.fem]
Info.normalized [definition, in CFEM.C.quadrules]
Info.normalized [definition, in CFEM.C.element]
Info.normalized [definition, in CFEM.C.shapes]
Info.normalized [definition, in CFEM.C.matrix]
Info.source_file [definition, in CFEM.C.mesh]
Info.source_file [definition, in CFEM.C.fem]
Info.source_file [definition, in CFEM.C.quadrules]
Info.source_file [definition, in CFEM.C.element]
Info.source_file [definition, in CFEM.C.shapes]
Info.source_file [definition, in CFEM.C.matrix]
Info.version [definition, in CFEM.C.mesh]
Info.version [definition, in CFEM.C.fem]
Info.version [definition, in CFEM.C.quadrules]
Info.version [definition, in CFEM.C.element]
Info.version [definition, in CFEM.C.shapes]
Info.version [definition, in CFEM.C.matrix]
init_matrix_band_spec [definition, in CFEM.C.spec_matrix]
init_matrix_dense_spec [definition, in CFEM.C.spec_matrix]
isF [lemma, in CFEM.matrix_util]
is_derive_coord_simple [lemma, in CFEM.shape]
is_derive_row [lemma, in CFEM.shape]
is_derive_mx [instance, in CFEM.shape]
is_multivariate_polynomial_sind [definition, in CFEM.shape]
is_multivariate_polynomial_ind [definition, in CFEM.shape]
is_multivariate_polynomial [inductive, in CFEM.shape]
is_shape_deriv [definition, in CFEM.shape]
M
matrix [library]matrixVSU [definition, in CFEM.C.verif_matrix]
matrix_internal_specs [definition, in CFEM.C.verif_matrix]
matrix_E [definition, in CFEM.C.verif_matrix]
matrix_imported_specs [definition, in CFEM.C.verif_matrix]
matrix_add_to [definition, in CFEM.model]
matrix_ASI [definition, in CFEM.C.spec_matrix]
matrix_print_spec [definition, in CFEM.C.spec_matrix]
matrix_print_type [definition, in CFEM.C.spec_matrix]
matrix_norm_spec [definition, in CFEM.C.spec_matrix]
matrix_norm2_spec [definition, in CFEM.C.spec_matrix]
matrix_norm2_type [definition, in CFEM.C.spec_matrix]
matrix_clear_spec [definition, in CFEM.C.spec_matrix]
matrix_clear_type [definition, in CFEM.C.spec_matrix]
matrix_add_spec [definition, in CFEM.C.spec_matrix]
matrix_add_type [definition, in CFEM.C.spec_matrix]
matrix_obj_nonexpansive [lemma, in CFEM.C.spec_matrix]
matrix_rep_type [definition, in CFEM.C.spec_matrix]
matrix_and_indices_typetree [definition, in CFEM.C.spec_matrix]
matrix_package_typetree [definition, in CFEM.C.spec_matrix]
matrix_and_indices [definition, in CFEM.C.spec_matrix]
matrix_package [definition, in CFEM.C.spec_matrix]
matrix_obj_valid_pointer [lemma, in CFEM.C.spec_matrix]
matrix_obj_local_facts [lemma, in CFEM.C.spec_matrix]
matrix_obj [definition, in CFEM.C.spec_matrix]
matrix_print_spec' [definition, in CFEM.C.spec_matrix]
matrix_norm2_spec' [definition, in CFEM.C.spec_matrix]
matrix_clear_spec' [definition, in CFEM.C.spec_matrix]
matrix_add_spec' [definition, in CFEM.C.spec_matrix]
matrix_t [definition, in CFEM.C.spec_matrix]
matrix_data_t [definition, in CFEM.C.spec_matrix]
matrix_rep [definition, in CFEM.C.spec_matrix]
matrix_util [library]
mesh [library]
model [library]
multivariate_polynomial_continuously_differentiable [lemma, in CFEM.shape]
mx_of_listE [lemma, in CFEM.matrix_util]
mx_of_list [definition, in CFEM.matrix_util]
mx_of_listn [definition, in CFEM.matrix_util]
N
nonexpansive [library]nth_List_nth [lemma, in CFEM.matrix_util]
nth_ord_enum' [lemma, in CFEM.matrix_util]
O
Ordn [abbreviation, in CFEM.matrix_util]ord_enum2 [definition, in CFEM.model]
ord_enum_cases [lemma, in CFEM.matrix_util]
P
pointwise_derivable.n [variable, in CFEM.shape]pointwise_derivable.m [variable, in CFEM.shape]
pointwise_derivable.V [variable, in CFEM.shape]
pointwise_derivable.R [variable, in CFEM.shape]
pointwise_derivable [section, in CFEM.shape]
point_mx [definition, in CFEM.model]
prog [definition, in CFEM.C.mesh]
prog [definition, in CFEM.C.fem]
prog [definition, in CFEM.C.quadrules]
prog [definition, in CFEM.C.element]
prog [definition, in CFEM.C.shapes]
prog [definition, in CFEM.C.matrix]
prove_roundoff_bound_2dT1deriv_2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_3 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_2 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_0 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_1 [lemma, in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_0 [lemma, in CFEM.shape_accuracy]
public_idents [definition, in CFEM.C.mesh]
public_idents [definition, in CFEM.C.fem]
public_idents [definition, in CFEM.C.quadrules]
public_idents [definition, in CFEM.C.element]
public_idents [definition, in CFEM.C.shapes]
public_idents [definition, in CFEM.C.matrix]
Q
quadrules [library]R
relate_2dT1deriv_2_1 [definition, in CFEM.shape_accuracy]relate_2dT1deriv_2_0 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_1_1 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_1_0 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_0_1 [definition, in CFEM.shape_accuracy]
relate_2dT1deriv_0_0 [definition, in CFEM.shape_accuracy]
relate_2dT1_2 [definition, in CFEM.shape_accuracy]
relate_2dT1_1 [definition, in CFEM.shape_accuracy]
relate_2dT1_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_3_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_3_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_2_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_2_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_1_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_1_0 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_0_1 [definition, in CFEM.shape_accuracy]
relate_2dP1deriv_0_0 [definition, in CFEM.shape_accuracy]
relate_2dP1_3 [definition, in CFEM.shape_accuracy]
relate_2dP1_2 [definition, in CFEM.shape_accuracy]
relate_2dP1_1 [definition, in CFEM.shape_accuracy]
relate_2dP1_0 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_2 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_1 [definition, in CFEM.shape_accuracy]
relate_1dP2deriv_0 [definition, in CFEM.shape_accuracy]
relate_1dP2_2 [definition, in CFEM.shape_accuracy]
relate_1dP2_1 [definition, in CFEM.shape_accuracy]
relate_1dP2_0 [definition, in CFEM.shape_accuracy]
relate_1dP1deriv_1 [definition, in CFEM.shape_accuracy]
relate_1dP1deriv_0 [definition, in CFEM.shape_accuracy]
relate_1dP1_1 [definition, in CFEM.shape_accuracy]
relate_1dP1_0 [definition, in CFEM.shape_accuracy]
roundoff_bound_2dT1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_2dP1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_1dP2 [lemma, in CFEM.shape_accuracy]
roundoff_bound_1dP1 [lemma, in CFEM.shape_accuracy]
roundoff_bound_lemma [definition, in CFEM.shape_accuracy]
rowmx_of_list_1 [lemma, in CFEM.shape_accuracy]
rowmx_of_listn_E [lemma, in CFEM.matrix_util]
rowmx_of_list_E [lemma, in CFEM.matrix_util]
rowmx_of_listn [definition, in CFEM.matrix_util]
rowmx_of_list [definition, in CFEM.matrix_util]
row__0 [lemma, in CFEM.shape]
row_E_specific [lemma, in CFEM.matrix_util]
row_col_E [lemma, in CFEM.matrix_util]
row_0_1 [lemma, in CFEM.matrix_util]
row_mxEr' [lemma, in CFEM.matrix_util]
row_mxEl' [lemma, in CFEM.matrix_util]
row_mxE [lemma, in CFEM.matrix_util]
row_mx_of_tr_list [lemma, in CFEM.matrix_util]
row_mx_of_list [lemma, in CFEM.matrix_util]
row01 [lemma, in CFEM.matrix_util]
S
S [section, in CFEM.shape]S [section, in CFEM.shape]
S [section, in CFEM.shape]
S [section, in CFEM.shape]
Shape [module, in CFEM.shape]
shape [library]
shapefloat [library]
shapes [library]
shapesVSU [definition, in CFEM.C.VSU_shapes]
shapes_ASI [definition, in CFEM.C.spec_shapes]
shapes_internal_specs [definition, in CFEM.C.verif_shapes_base]
shapes_E [definition, in CFEM.C.verif_shapes_base]
shapes_imported_specs [definition, in CFEM.C.verif_shapes_base]
shapes1dP1 [definition, in CFEM.shape]
shapes1dP1F [definition, in CFEM.shapefloat]
shapes1dP1_spec [definition, in CFEM.C.spec_shapes]
shapes1dP1_fderiv [definition, in CFEM.shapefloat]
shapes1dP1_float [definition, in CFEM.shapefloat]
shapes1dP1_dθ [definition, in CFEM.shape]
shapes1dP1_vertices [definition, in CFEM.shape]
shapes1dP1_θ [definition, in CFEM.shape]
shapes1dP2 [definition, in CFEM.shape]
shapes1dP2F [definition, in CFEM.shapefloat]
shapes1dP2_spec [definition, in CFEM.C.spec_shapes]
shapes1dP2_fderiv [definition, in CFEM.shapefloat]
shapes1dP2_float [definition, in CFEM.shapefloat]
shapes1dP2_dθ [definition, in CFEM.shape]
shapes1dP2_θ [definition, in CFEM.shape]
shapes1dP2_vertices [definition, in CFEM.shape]
shapes1dP3 [definition, in CFEM.shape]
shapes1dP3F [definition, in CFEM.shapefloat]
shapes1dP3_spec [definition, in CFEM.C.spec_shapes]
shapes1dP3_fderiv [definition, in CFEM.shapefloat]
shapes1dP3_float [definition, in CFEM.shapefloat]
shapes1dP3_dθ [definition, in CFEM.shape]
shapes1dP3_θ [definition, in CFEM.shape]
shapes1dP3_vertices [definition, in CFEM.shape]
shapes2dP1 [definition, in CFEM.shape]
shapes2dP1F [definition, in CFEM.shapefloat]
shapes2dP1_spec [definition, in CFEM.C.spec_shapes]
shapes2dP1_fderiv [definition, in CFEM.shapefloat]
shapes2dP1_float [definition, in CFEM.shapefloat]
shapes2dP1_dθ [definition, in CFEM.shape]
shapes2dP1_θ [definition, in CFEM.shape]
shapes2dP1_vertices [definition, in CFEM.shape]
shapes2dP2 [definition, in CFEM.shape]
shapes2dP2F [definition, in CFEM.shapefloat]
shapes2dP2_spec [definition, in CFEM.C.spec_shapes]
shapes2dP2_fderiv [definition, in CFEM.shapefloat]
shapes2dP2_float [definition, in CFEM.shapefloat]
shapes2dP2_dθ [definition, in CFEM.shape]
shapes2dP2_θ [definition, in CFEM.shape]
shapes2dP2_vertices [definition, in CFEM.shape]
shapes2dS2 [definition, in CFEM.shape]
shapes2dS2F [definition, in CFEM.shapefloat]
shapes2dS2_spec [definition, in CFEM.C.spec_shapes]
shapes2dS2_fderiv [definition, in CFEM.shapefloat]
shapes2dS2_float [definition, in CFEM.shapefloat]
shapes2dS2_dθ [definition, in CFEM.shape]
shapes2dS2_θ [definition, in CFEM.shape]
shapes2dS2_vertices [definition, in CFEM.shape]
shapes2dT1 [definition, in CFEM.shape]
shapes2dT1F [definition, in CFEM.shapefloat]
shapes2dT1_spec [definition, in CFEM.C.spec_shapes]
shapes2dT1_fderiv [definition, in CFEM.shapefloat]
shapes2dT1_float [definition, in CFEM.shapefloat]
shapes2dT1_dθ [definition, in CFEM.shape]
shapes2dT1_θ [definition, in CFEM.shape]
shapes2dT1_vertices [definition, in CFEM.shape]
shape_spec [definition, in CFEM.C.spec_shapes]
shape_accuracy [library]
Shape.d [projection, in CFEM.shape]
Shape.deriv [projection, in CFEM.shape]
Shape.diff [projection, in CFEM.shape]
Shape.dθ [projection, in CFEM.shape]
Shape.lagrangian [projection, in CFEM.shape]
Shape.nsh [projection, in CFEM.shape]
Shape.S [section, in CFEM.shape]
Shape.shape [record, in CFEM.shape]
Shape.S.R [variable, in CFEM.shape]
Shape.vtx [projection, in CFEM.shape]
Shape.θ [projection, in CFEM.shape]
size_ord_enum [lemma, in CFEM.matrix_util]
spec_shapes [library]
spec_matrix [library]
split_matrix_rows [lemma, in CFEM.C.verif_shapes2d]
split_matrix_rows [lemma, in CFEM.C.verif_shapes2dP2]
split_shift_eq [lemma, in CFEM.matrix_util]
split_shift [definition, in CFEM.matrix_util]
split_shift2 [lemma, in CFEM.matrix_util]
split_shift1 [lemma, in CFEM.matrix_util]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
S.R [variable, in CFEM.shape]
T
test_typetree [definition, in CFEM.C.spec_matrix]Test1 [module, in CFEM.matrix_util]
Test1.A [definition, in CFEM.matrix_util]
Test2 [module, in CFEM.matrix_util]
Test2.B [definition, in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddUMagma [definition, in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddMagma [definition, in CFEM.matrix_util]
Test2.HB_unnamed_factory_3 [definition, in CFEM.matrix_util]
Test2.HB_unnamed_factory_1 [definition, in CFEM.matrix_util]
Test3 [module, in CFEM.matrix_util]
Test3.A [definition, in CFEM.matrix_util]
Test3.S [section, in CFEM.matrix_util]
Test3.S.R [variable, in CFEM.matrix_util]
Test3.U [definition, in CFEM.matrix_util]
Test3.V [definition, in CFEM.matrix_util]
Test4 [module, in CFEM.matrix_util]
Test4.add [definition, in CFEM.matrix_util]
Test4.B [definition, in CFEM.matrix_util]
Test4.float [definition, in CFEM.matrix_util]
Test4.HB_unnamed_factory_7 [definition, in CFEM.matrix_util]
Test4.HB_unnamed_factory_5 [definition, in CFEM.matrix_util]
Test4.ofZ [definition, in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddUMagma [definition, in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddMagma [definition, in CFEM.matrix_util]
the_ctype [abbreviation, in CFEM.C.spec_matrix]
the_type [abbreviation, in CFEM.C.spec_matrix]
trmxE [lemma, in CFEM.shape]
U
Unnamed_thm [definition, in CFEM.C.spec_matrix]Unnamed_thm [definition, in CFEM.C.spec_matrix]
Unnamed_thm [definition, in CFEM.shape_accuracy]
V
val_of_float [abbreviation, in CFEM.C.spec_matrix]verif_shapes2d [library]
verif_shapes2dP2 [library]
verif_matrix [library]
verif_shapes1d [library]
verif_shapes_base [library]
vmap_of_cV [definition, in CFEM.shape_accuracy]
vmap_of_cV_list_valid [lemma, in CFEM.shape_accuracy]
vmap_of_cV_list [definition, in CFEM.shape_accuracy]
Vprog [definition, in CFEM.C.spec_shapes]
Vprog [definition, in CFEM.C.spec_matrix]
VSU_shapes [library]
v___stringlit_12 [definition, in CFEM.C.mesh]
v___stringlit_8 [definition, in CFEM.C.mesh]
v___stringlit_5 [definition, in CFEM.C.mesh]
v___stringlit_1 [definition, in CFEM.C.mesh]
v___stringlit_6 [definition, in CFEM.C.mesh]
v___stringlit_7 [definition, in CFEM.C.mesh]
v___stringlit_3 [definition, in CFEM.C.mesh]
v___stringlit_2 [definition, in CFEM.C.mesh]
v___stringlit_10 [definition, in CFEM.C.mesh]
v___stringlit_4 [definition, in CFEM.C.mesh]
v___stringlit_9 [definition, in CFEM.C.mesh]
v___stringlit_11 [definition, in CFEM.C.mesh]
v___stringlit_2 [definition, in CFEM.C.fem]
v___stringlit_1 [definition, in CFEM.C.fem]
v___stringlit_9 [definition, in CFEM.C.fem]
v___stringlit_3 [definition, in CFEM.C.fem]
v___stringlit_5 [definition, in CFEM.C.fem]
v___stringlit_6 [definition, in CFEM.C.fem]
v___stringlit_4 [definition, in CFEM.C.fem]
v___stringlit_7 [definition, in CFEM.C.fem]
v___stringlit_8 [definition, in CFEM.C.fem]
v___stderrp [definition, in CFEM.C.quadrules]
v___stringlit_2 [definition, in CFEM.C.quadrules]
v___stringlit_1 [definition, in CFEM.C.quadrules]
v___stringlit_1 [definition, in CFEM.C.element]
v___stringlit_3 [definition, in CFEM.C.element]
v___stringlit_2 [definition, in CFEM.C.element]
W
WithNaN [section, in CFEM.model]WithNaN.NAN [variable, in CFEM.model]
WithNaN.t [variable, in CFEM.model]
X
xx [definition, in CFEM.shapefloat]x_vmap [definition, in CFEM.shape_accuracy]
x_vmap_list [definition, in CFEM.shape_accuracy]
Y
yy [definition, in CFEM.shapefloat]_
_t'9 [definition, in CFEM.C.mesh]_t'8 [definition, in CFEM.C.mesh]
_t'7 [definition, in CFEM.C.mesh]
_t'6 [definition, in CFEM.C.mesh]
_t'5 [definition, in CFEM.C.mesh]
_t'4 [definition, in CFEM.C.mesh]
_t'3 [definition, in CFEM.C.mesh]
_t'2 [definition, in CFEM.C.mesh]
_t'17 [definition, in CFEM.C.mesh]
_t'16 [definition, in CFEM.C.mesh]
_t'15 [definition, in CFEM.C.mesh]
_t'14 [definition, in CFEM.C.mesh]
_t'13 [definition, in CFEM.C.mesh]
_t'12 [definition, in CFEM.C.mesh]
_t'11 [definition, in CFEM.C.mesh]
_t'10 [definition, in CFEM.C.mesh]
_t'1 [definition, in CFEM.C.mesh]
_xref [definition, in CFEM.C.mesh]
_xout [definition, in CFEM.C.mesh]
_x [definition, in CFEM.C.mesh]
_surely_malloc [definition, in CFEM.C.mesh]
_start [definition, in CFEM.C.mesh]
_shapes2dT1 [definition, in CFEM.C.mesh]
_shapes2dS2 [definition, in CFEM.C.mesh]
_shapes2dP2 [definition, in CFEM.C.mesh]
_shapes2dP1 [definition, in CFEM.C.mesh]
_shapes1dP3 [definition, in CFEM.C.mesh]
_shapes1dP2 [definition, in CFEM.C.mesh]
_shapes1dP1 [definition, in CFEM.C.mesh]
_shape [definition, in CFEM.C.mesh]
_printf [definition, in CFEM.C.mesh]
_ny [definition, in CFEM.C.mesh]
_nx1 [definition, in CFEM.C.mesh]
_nx0 [definition, in CFEM.C.mesh]
_nx [definition, in CFEM.C.mesh]
_numnp [definition, in CFEM.C.mesh]
_numelt [definition, in CFEM.C.mesh]
_nshape [definition, in CFEM.C.mesh]
_ney [definition, in CFEM.C.mesh]
_nex [definition, in CFEM.C.mesh]
_nen [definition, in CFEM.C.mesh]
_mesh_to_spatial [definition, in CFEM.C.mesh]
_mesh_t [definition, in CFEM.C.mesh]
_mesh_shapes [definition, in CFEM.C.mesh]
_mesh_print_nodes [definition, in CFEM.C.mesh]
_mesh_print_elt [definition, in CFEM.C.mesh]
_mesh_print [definition, in CFEM.C.mesh]
_mesh_malloc [definition, in CFEM.C.mesh]
_mesh_free [definition, in CFEM.C.mesh]
_mesh_create1d [definition, in CFEM.C.mesh]
_mesh_block2d_T1 [definition, in CFEM.C.mesh]
_mesh_block2d_S2 [definition, in CFEM.C.mesh]
_mesh_block2d_P2 [definition, in CFEM.C.mesh]
_mesh_block2d_P1 [definition, in CFEM.C.mesh]
_mesh [definition, in CFEM.C.mesh]
_memcpy [definition, in CFEM.C.mesh]
_main [definition, in CFEM.C.mesh]
_k__2 [definition, in CFEM.C.mesh]
_k__1 [definition, in CFEM.C.mesh]
_k [definition, in CFEM.C.mesh]
_j__2 [definition, in CFEM.C.mesh]
_j__1 [definition, in CFEM.C.mesh]
_j [definition, in CFEM.C.mesh]
_iy__1 [definition, in CFEM.C.mesh]
_iy [definition, in CFEM.C.mesh]
_ix__3 [definition, in CFEM.C.mesh]
_ix__2 [definition, in CFEM.C.mesh]
_ix__1 [definition, in CFEM.C.mesh]
_ix [definition, in CFEM.C.mesh]
_ipiv [definition, in CFEM.C.mesh]
_int_calloc [definition, in CFEM.C.mesh]
_i_ww [definition, in CFEM.C.mesh]
_i_sw [definition, in CFEM.C.mesh]
_i_nw [definition, in CFEM.C.mesh]
_i__1 [definition, in CFEM.C.mesh]
_i [definition, in CFEM.C.mesh]
_free [definition, in CFEM.C.mesh]
_eltid [definition, in CFEM.C.mesh]
_elt [definition, in CFEM.C.mesh]
_double_clear [definition, in CFEM.C.mesh]
_double_calloc [definition, in CFEM.C.mesh]
_densematn_lusolveT [definition, in CFEM.C.mesh]
_densematn_lujac [definition, in CFEM.C.mesh]
_densematn_lufactor [definition, in CFEM.C.mesh]
_densematn_clear [definition, in CFEM.C.mesh]
_degree [definition, in CFEM.C.mesh]
_dNk [definition, in CFEM.C.mesh]
_dN [definition, in CFEM.C.mesh]
_d [definition, in CFEM.C.mesh]
_b [definition, in CFEM.C.mesh]
_abort [definition, in CFEM.C.mesh]
_a [definition, in CFEM.C.mesh]
___stringlit_9 [definition, in CFEM.C.mesh]
___stringlit_8 [definition, in CFEM.C.mesh]
___stringlit_7 [definition, in CFEM.C.mesh]
___stringlit_6 [definition, in CFEM.C.mesh]
___stringlit_5 [definition, in CFEM.C.mesh]
___stringlit_4 [definition, in CFEM.C.mesh]
___stringlit_3 [definition, in CFEM.C.mesh]
___stringlit_2 [definition, in CFEM.C.mesh]
___stringlit_12 [definition, in CFEM.C.mesh]
___stringlit_11 [definition, in CFEM.C.mesh]
___stringlit_10 [definition, in CFEM.C.mesh]
___stringlit_1 [definition, in CFEM.C.mesh]
___compcert_va_int64 [definition, in CFEM.C.mesh]
___compcert_va_int32 [definition, in CFEM.C.mesh]
___compcert_va_float64 [definition, in CFEM.C.mesh]
___compcert_va_composite [definition, in CFEM.C.mesh]
___compcert_i64_utof [definition, in CFEM.C.mesh]
___compcert_i64_utod [definition, in CFEM.C.mesh]
___compcert_i64_umulh [definition, in CFEM.C.mesh]
___compcert_i64_umod [definition, in CFEM.C.mesh]
___compcert_i64_udiv [definition, in CFEM.C.mesh]
___compcert_i64_stof [definition, in CFEM.C.mesh]
___compcert_i64_stod [definition, in CFEM.C.mesh]
___compcert_i64_smulh [definition, in CFEM.C.mesh]
___compcert_i64_smod [definition, in CFEM.C.mesh]
___compcert_i64_shr [definition, in CFEM.C.mesh]
___compcert_i64_shl [definition, in CFEM.C.mesh]
___compcert_i64_sdiv [definition, in CFEM.C.mesh]
___compcert_i64_sar [definition, in CFEM.C.mesh]
___compcert_i64_dtou [definition, in CFEM.C.mesh]
___compcert_i64_dtos [definition, in CFEM.C.mesh]
___builtin_va_start [definition, in CFEM.C.mesh]
___builtin_va_end [definition, in CFEM.C.mesh]
___builtin_va_copy [definition, in CFEM.C.mesh]
___builtin_va_arg [definition, in CFEM.C.mesh]
___builtin_unreachable [definition, in CFEM.C.mesh]
___builtin_sqrt [definition, in CFEM.C.mesh]
___builtin_sel [definition, in CFEM.C.mesh]
___builtin_memcpy_aligned [definition, in CFEM.C.mesh]
___builtin_membar [definition, in CFEM.C.mesh]
___builtin_fsqrt [definition, in CFEM.C.mesh]
___builtin_fnmsub [definition, in CFEM.C.mesh]
___builtin_fnmadd [definition, in CFEM.C.mesh]
___builtin_fmsub [definition, in CFEM.C.mesh]
___builtin_fmin [definition, in CFEM.C.mesh]
___builtin_fmax [definition, in CFEM.C.mesh]
___builtin_fmadd [definition, in CFEM.C.mesh]
___builtin_fabsf [definition, in CFEM.C.mesh]
___builtin_fabs [definition, in CFEM.C.mesh]
___builtin_expect [definition, in CFEM.C.mesh]
___builtin_debug [definition, in CFEM.C.mesh]
___builtin_ctzll [definition, in CFEM.C.mesh]
___builtin_ctzl [definition, in CFEM.C.mesh]
___builtin_ctz [definition, in CFEM.C.mesh]
___builtin_clzll [definition, in CFEM.C.mesh]
___builtin_clzl [definition, in CFEM.C.mesh]
___builtin_clz [definition, in CFEM.C.mesh]
___builtin_clsll [definition, in CFEM.C.mesh]
___builtin_clsl [definition, in CFEM.C.mesh]
___builtin_cls [definition, in CFEM.C.mesh]
___builtin_bswap64 [definition, in CFEM.C.mesh]
___builtin_bswap32 [definition, in CFEM.C.mesh]
___builtin_bswap16 [definition, in CFEM.C.mesh]
___builtin_bswap [definition, in CFEM.C.mesh]
___builtin_annot_intval [definition, in CFEM.C.mesh]
___builtin_annot [definition, in CFEM.C.mesh]
_Xi [definition, in CFEM.C.mesh]
_X [definition, in CFEM.C.mesh]
_N [definition, in CFEM.C.mesh]
_J [definition, in CFEM.C.mesh]
_t'9 [definition, in CFEM.C.fem]
_t'8 [definition, in CFEM.C.fem]
_t'7 [definition, in CFEM.C.fem]
_t'6 [definition, in CFEM.C.fem]
_t'5 [definition, in CFEM.C.fem]
_t'4 [definition, in CFEM.C.fem]
_t'3 [definition, in CFEM.C.fem]
_t'24 [definition, in CFEM.C.fem]
_t'23 [definition, in CFEM.C.fem]
_t'22 [definition, in CFEM.C.fem]
_t'21 [definition, in CFEM.C.fem]
_t'20 [definition, in CFEM.C.fem]
_t'2 [definition, in CFEM.C.fem]
_t'19 [definition, in CFEM.C.fem]
_t'18 [definition, in CFEM.C.fem]
_t'17 [definition, in CFEM.C.fem]
_t'16 [definition, in CFEM.C.fem]
_t'15 [definition, in CFEM.C.fem]
_t'14 [definition, in CFEM.C.fem]
_t'13 [definition, in CFEM.C.fem]
_t'12 [definition, in CFEM.C.fem]
_t'11 [definition, in CFEM.C.fem]
_t'10 [definition, in CFEM.C.fem]
_t'1 [definition, in CFEM.C.fem]
_ve [definition, in CFEM.C.fem]
_v [definition, in CFEM.C.fem]
_surely_malloc [definition, in CFEM.C.fem]
_shape [definition, in CFEM.C.fem]
_printf [definition, in CFEM.C.fem]
_print [definition, in CFEM.C.fem]
_p [definition, in CFEM.C.fem]
_numnp [definition, in CFEM.C.fem]
_numelt [definition, in CFEM.C.fem]
_norm2 [definition, in CFEM.C.fem]
_next_id [definition, in CFEM.C.fem]
_nen [definition, in CFEM.C.fem]
_ne [definition, in CFEM.C.fem]
_ndof [definition, in CFEM.C.fem]
_nactive [definition, in CFEM.C.fem]
_n [definition, in CFEM.C.fem]
_mesh_t [definition, in CFEM.C.fem]
_mesh_print_elt [definition, in CFEM.C.fem]
_mesh_free [definition, in CFEM.C.fem]
_mesh [definition, in CFEM.C.fem]
_matrix_t [definition, in CFEM.C.fem]
_matrix_data_t [definition, in CFEM.C.fem]
_matrix_clear [definition, in CFEM.C.fem]
_matrix_add [definition, in CFEM.C.fem]
_main [definition, in CFEM.C.fem]
_m [definition, in CFEM.C.fem]
_je [definition, in CFEM.C.fem]
_j__5 [definition, in CFEM.C.fem]
_j__4 [definition, in CFEM.C.fem]
_j__3 [definition, in CFEM.C.fem]
_j__2 [definition, in CFEM.C.fem]
_j__1 [definition, in CFEM.C.fem]
_j [definition, in CFEM.C.fem]
_int_calloc [definition, in CFEM.C.fem]
_init_matrix_dense [definition, in CFEM.C.fem]
_init_matrix_band [definition, in CFEM.C.fem]
_ie [definition, in CFEM.C.fem]
_ids [definition, in CFEM.C.fem]
_id [definition, in CFEM.C.fem]
_i [definition, in CFEM.C.fem]
_free [definition, in CFEM.C.fem]
_fem_update_U [definition, in CFEM.C.fem]
_fem_t [definition, in CFEM.C.fem]
_fem_set_load [definition, in CFEM.C.fem]
_fem_print [definition, in CFEM.C.fem]
_fem_malloc [definition, in CFEM.C.fem]
_fem_free [definition, in CFEM.C.fem]
_fem_assign_ids [definition, in CFEM.C.fem]
_fem_assemble_dense [definition, in CFEM.C.fem]
_fem_assemble_band [definition, in CFEM.C.fem]
_fem_assemble [definition, in CFEM.C.fem]
_fe [definition, in CFEM.C.fem]
_f [definition, in CFEM.C.fem]
_etype [definition, in CFEM.C.fem]
_emat [definition, in CFEM.C.fem]
_elt [definition, in CFEM.C.fem]
_element_t [definition, in CFEM.C.fem]
_element_dR [definition, in CFEM.C.fem]
_du_red [definition, in CFEM.C.fem]
_double_clear [definition, in CFEM.C.fem]
_double_calloc [definition, in CFEM.C.fem]
_densematn_get [definition, in CFEM.C.fem]
_densemat_t [definition, in CFEM.C.fem]
_data [definition, in CFEM.C.fem]
_dR [definition, in CFEM.C.fem]
_d [definition, in CFEM.C.fem]
_clear [definition, in CFEM.C.fem]
_bandmat_t [definition, in CFEM.C.fem]
_b [definition, in CFEM.C.fem]
_assemble_vector [definition, in CFEM.C.fem]
_assemble_matrix [definition, in CFEM.C.fem]
_add [definition, in CFEM.C.fem]
___stringlit_9 [definition, in CFEM.C.fem]
___stringlit_8 [definition, in CFEM.C.fem]
___stringlit_7 [definition, in CFEM.C.fem]
___stringlit_6 [definition, in CFEM.C.fem]
___stringlit_5 [definition, in CFEM.C.fem]
___stringlit_4 [definition, in CFEM.C.fem]
___stringlit_3 [definition, in CFEM.C.fem]
___stringlit_2 [definition, in CFEM.C.fem]
___stringlit_1 [definition, in CFEM.C.fem]
___compcert_va_int64 [definition, in CFEM.C.fem]
___compcert_va_int32 [definition, in CFEM.C.fem]
___compcert_va_float64 [definition, in CFEM.C.fem]
___compcert_va_composite [definition, in CFEM.C.fem]
___compcert_i64_utof [definition, in CFEM.C.fem]
___compcert_i64_utod [definition, in CFEM.C.fem]
___compcert_i64_umulh [definition, in CFEM.C.fem]
___compcert_i64_umod [definition, in CFEM.C.fem]
___compcert_i64_udiv [definition, in CFEM.C.fem]
___compcert_i64_stof [definition, in CFEM.C.fem]
___compcert_i64_stod [definition, in CFEM.C.fem]
___compcert_i64_smulh [definition, in CFEM.C.fem]
___compcert_i64_smod [definition, in CFEM.C.fem]
___compcert_i64_shr [definition, in CFEM.C.fem]
___compcert_i64_shl [definition, in CFEM.C.fem]
___compcert_i64_sdiv [definition, in CFEM.C.fem]
___compcert_i64_sar [definition, in CFEM.C.fem]
___compcert_i64_dtou [definition, in CFEM.C.fem]
___compcert_i64_dtos [definition, in CFEM.C.fem]
___builtin_va_start [definition, in CFEM.C.fem]
___builtin_va_end [definition, in CFEM.C.fem]
___builtin_va_copy [definition, in CFEM.C.fem]
___builtin_va_arg [definition, in CFEM.C.fem]
___builtin_unreachable [definition, in CFEM.C.fem]
___builtin_sqrt [definition, in CFEM.C.fem]
___builtin_sel [definition, in CFEM.C.fem]
___builtin_memcpy_aligned [definition, in CFEM.C.fem]
___builtin_membar [definition, in CFEM.C.fem]
___builtin_fsqrt [definition, in CFEM.C.fem]
___builtin_fnmsub [definition, in CFEM.C.fem]
___builtin_fnmadd [definition, in CFEM.C.fem]
___builtin_fmsub [definition, in CFEM.C.fem]
___builtin_fmin [definition, in CFEM.C.fem]
___builtin_fmax [definition, in CFEM.C.fem]
___builtin_fmadd [definition, in CFEM.C.fem]
___builtin_fabsf [definition, in CFEM.C.fem]
___builtin_fabs [definition, in CFEM.C.fem]
___builtin_expect [definition, in CFEM.C.fem]
___builtin_debug [definition, in CFEM.C.fem]
___builtin_ctzll [definition, in CFEM.C.fem]
___builtin_ctzl [definition, in CFEM.C.fem]
___builtin_ctz [definition, in CFEM.C.fem]
___builtin_clzll [definition, in CFEM.C.fem]
___builtin_clzl [definition, in CFEM.C.fem]
___builtin_clz [definition, in CFEM.C.fem]
___builtin_clsll [definition, in CFEM.C.fem]
___builtin_clsl [definition, in CFEM.C.fem]
___builtin_cls [definition, in CFEM.C.fem]
___builtin_bswap64 [definition, in CFEM.C.fem]
___builtin_bswap32 [definition, in CFEM.C.fem]
___builtin_bswap16 [definition, in CFEM.C.fem]
___builtin_bswap [definition, in CFEM.C.fem]
___builtin_annot_intval [definition, in CFEM.C.fem]
___builtin_annot [definition, in CFEM.C.fem]
_X [definition, in CFEM.C.fem]
_U [definition, in CFEM.C.fem]
_Re [definition, in CFEM.C.fem]
_R [definition, in CFEM.C.fem]
_Kmatrix [definition, in CFEM.C.fem]
_Ke [definition, in CFEM.C.fem]
_K [definition, in CFEM.C.fem]
_F [definition, in CFEM.C.fem]
_t'3 [definition, in CFEM.C.quadrules]
_t'2 [definition, in CFEM.C.quadrules]
_t'1 [definition, in CFEM.C.quadrules]
_xi [definition, in CFEM.C.quadrules]
_npts [definition, in CFEM.C.quadrules]
_main [definition, in CFEM.C.quadrules]
_iy [definition, in CFEM.C.quadrules]
_ix [definition, in CFEM.C.quadrules]
_i [definition, in CFEM.C.quadrules]
_hughes_weight [definition, in CFEM.C.quadrules]
_hughes_point [definition, in CFEM.C.quadrules]
_gauss_wts [definition, in CFEM.C.quadrules]
_gauss_weight [definition, in CFEM.C.quadrules]
_gauss_pts [definition, in CFEM.C.quadrules]
_gauss_point [definition, in CFEM.C.quadrules]
_gauss2d_weight [definition, in CFEM.C.quadrules]
_gauss2d_point [definition, in CFEM.C.quadrules]
_gauss2d_npoint1d [definition, in CFEM.C.quadrules]
_fprintf [definition, in CFEM.C.quadrules]
_exit [definition, in CFEM.C.quadrules]
_d [definition, in CFEM.C.quadrules]
__write [definition, in CFEM.C.quadrules]
__w [definition, in CFEM.C.quadrules]
__ur [definition, in CFEM.C.quadrules]
__ubuf [definition, in CFEM.C.quadrules]
__ub [definition, in CFEM.C.quadrules]
__size [definition, in CFEM.C.quadrules]
__seek [definition, in CFEM.C.quadrules]
__read [definition, in CFEM.C.quadrules]
__r [definition, in CFEM.C.quadrules]
__p [definition, in CFEM.C.quadrules]
__offset [definition, in CFEM.C.quadrules]
__nbuf [definition, in CFEM.C.quadrules]
__lbfsize [definition, in CFEM.C.quadrules]
__lb [definition, in CFEM.C.quadrules]
__flags [definition, in CFEM.C.quadrules]
__file [definition, in CFEM.C.quadrules]
__extra [definition, in CFEM.C.quadrules]
__cookie [definition, in CFEM.C.quadrules]
__close [definition, in CFEM.C.quadrules]
__blksize [definition, in CFEM.C.quadrules]
__bf [definition, in CFEM.C.quadrules]
__base [definition, in CFEM.C.quadrules]
___stringlit_2 [definition, in CFEM.C.quadrules]
___stringlit_1 [definition, in CFEM.C.quadrules]
___stderrp [definition, in CFEM.C.quadrules]
___sbuf [definition, in CFEM.C.quadrules]
___sFILEX [definition, in CFEM.C.quadrules]
___sFILE [definition, in CFEM.C.quadrules]
___compcert_va_int64 [definition, in CFEM.C.quadrules]
___compcert_va_int32 [definition, in CFEM.C.quadrules]
___compcert_va_float64 [definition, in CFEM.C.quadrules]
___compcert_va_composite [definition, in CFEM.C.quadrules]
___compcert_i64_utof [definition, in CFEM.C.quadrules]
___compcert_i64_utod [definition, in CFEM.C.quadrules]
___compcert_i64_umulh [definition, in CFEM.C.quadrules]
___compcert_i64_umod [definition, in CFEM.C.quadrules]
___compcert_i64_udiv [definition, in CFEM.C.quadrules]
___compcert_i64_stof [definition, in CFEM.C.quadrules]
___compcert_i64_stod [definition, in CFEM.C.quadrules]
___compcert_i64_smulh [definition, in CFEM.C.quadrules]
___compcert_i64_smod [definition, in CFEM.C.quadrules]
___compcert_i64_shr [definition, in CFEM.C.quadrules]
___compcert_i64_shl [definition, in CFEM.C.quadrules]
___compcert_i64_sdiv [definition, in CFEM.C.quadrules]
___compcert_i64_sar [definition, in CFEM.C.quadrules]
___compcert_i64_dtou [definition, in CFEM.C.quadrules]
___compcert_i64_dtos [definition, in CFEM.C.quadrules]
___builtin_va_start [definition, in CFEM.C.quadrules]
___builtin_va_end [definition, in CFEM.C.quadrules]
___builtin_va_copy [definition, in CFEM.C.quadrules]
___builtin_va_arg [definition, in CFEM.C.quadrules]
___builtin_unreachable [definition, in CFEM.C.quadrules]
___builtin_sqrt [definition, in CFEM.C.quadrules]
___builtin_sel [definition, in CFEM.C.quadrules]
___builtin_memcpy_aligned [definition, in CFEM.C.quadrules]
___builtin_membar [definition, in CFEM.C.quadrules]
___builtin_fsqrt [definition, in CFEM.C.quadrules]
___builtin_fnmsub [definition, in CFEM.C.quadrules]
___builtin_fnmadd [definition, in CFEM.C.quadrules]
___builtin_fmsub [definition, in CFEM.C.quadrules]
___builtin_fmin [definition, in CFEM.C.quadrules]
___builtin_fmax [definition, in CFEM.C.quadrules]
___builtin_fmadd [definition, in CFEM.C.quadrules]
___builtin_fabsf [definition, in CFEM.C.quadrules]
___builtin_fabs [definition, in CFEM.C.quadrules]
___builtin_expect [definition, in CFEM.C.quadrules]
___builtin_debug [definition, in CFEM.C.quadrules]
___builtin_ctzll [definition, in CFEM.C.quadrules]
___builtin_ctzl [definition, in CFEM.C.quadrules]
___builtin_ctz [definition, in CFEM.C.quadrules]
___builtin_clzll [definition, in CFEM.C.quadrules]
___builtin_clzl [definition, in CFEM.C.quadrules]
___builtin_clz [definition, in CFEM.C.quadrules]
___builtin_clsll [definition, in CFEM.C.quadrules]
___builtin_clsl [definition, in CFEM.C.quadrules]
___builtin_cls [definition, in CFEM.C.quadrules]
___builtin_bswap64 [definition, in CFEM.C.quadrules]
___builtin_bswap32 [definition, in CFEM.C.quadrules]
___builtin_bswap16 [definition, in CFEM.C.quadrules]
___builtin_bswap [definition, in CFEM.C.quadrules]
___builtin_annot_intval [definition, in CFEM.C.quadrules]
___builtin_annot [definition, in CFEM.C.quadrules]
_t'9 [definition, in CFEM.C.element]
_t'8 [definition, in CFEM.C.element]
_t'7 [definition, in CFEM.C.element]
_t'6 [definition, in CFEM.C.element]
_t'5 [definition, in CFEM.C.element]
_t'4 [definition, in CFEM.C.element]
_t'33 [definition, in CFEM.C.element]
_t'32 [definition, in CFEM.C.element]
_t'31 [definition, in CFEM.C.element]
_t'30 [definition, in CFEM.C.element]
_t'3 [definition, in CFEM.C.element]
_t'29 [definition, in CFEM.C.element]
_t'28 [definition, in CFEM.C.element]
_t'27 [definition, in CFEM.C.element]
_t'26 [definition, in CFEM.C.element]
_t'25 [definition, in CFEM.C.element]
_t'24 [definition, in CFEM.C.element]
_t'23 [definition, in CFEM.C.element]
_t'22 [definition, in CFEM.C.element]
_t'21 [definition, in CFEM.C.element]
_t'20 [definition, in CFEM.C.element]
_t'2 [definition, in CFEM.C.element]
_t'19 [definition, in CFEM.C.element]
_t'18 [definition, in CFEM.C.element]
_t'17 [definition, in CFEM.C.element]
_t'16 [definition, in CFEM.C.element]
_t'15 [definition, in CFEM.C.element]
_t'14 [definition, in CFEM.C.element]
_t'13 [definition, in CFEM.C.element]
_t'12 [definition, in CFEM.C.element]
_t'11 [definition, in CFEM.C.element]
_t'10 [definition, in CFEM.C.element]
_t'1 [definition, in CFEM.C.element]
_x [definition, in CFEM.C.element]
_wt [definition, in CFEM.C.element]
_surely_malloc [definition, in CFEM.C.element]
_simple_elt_free [definition, in CFEM.C.element]
_shapes2dT1 [definition, in CFEM.C.element]
_shapes2dS2 [definition, in CFEM.C.element]
_shapes2dP2 [definition, in CFEM.C.element]
_shapes2dP1 [definition, in CFEM.C.element]
_shapefn [definition, in CFEM.C.element]
_shape [definition, in CFEM.C.element]
_quad_wt [definition, in CFEM.C.element]
_quad_pt [definition, in CFEM.C.element]
_printf [definition, in CFEM.C.element]
_poisson_elt_t [definition, in CFEM.C.element]
_poisson2d_elt_dR [definition, in CFEM.C.element]
_poisson1d_elt_dR [definition, in CFEM.C.element]
_p [definition, in CFEM.C.element]
_numnp [definition, in CFEM.C.element]
_numelt [definition, in CFEM.C.element]
_nquad [definition, in CFEM.C.element]
_nen [definition, in CFEM.C.element]
_ndof [definition, in CFEM.C.element]
_nactive [definition, in CFEM.C.element]
_mesh_t [definition, in CFEM.C.element]
_mesh_shapes [definition, in CFEM.C.element]
_mesh [definition, in CFEM.C.element]
_malloc_poisson2d_element [definition, in CFEM.C.element]
_malloc_poisson1d_element [definition, in CFEM.C.element]
_main [definition, in CFEM.C.element]
_le [definition, in CFEM.C.element]
_k [definition, in CFEM.C.element]
_j__1 [definition, in CFEM.C.element]
_j [definition, in CFEM.C.element]
_id [definition, in CFEM.C.element]
_i__1 [definition, in CFEM.C.element]
_i [definition, in CFEM.C.element]
_hughes_weight [definition, in CFEM.C.element]
_hughes_point [definition, in CFEM.C.element]
_get_quad2d [definition, in CFEM.C.element]
_gauss_weight [definition, in CFEM.C.element]
_gauss_point [definition, in CFEM.C.element]
_gauss2d_weight [definition, in CFEM.C.element]
_gauss2d_point [definition, in CFEM.C.element]
_fx [definition, in CFEM.C.element]
_free [definition, in CFEM.C.element]
_fem_t [definition, in CFEM.C.element]
_fe [definition, in CFEM.C.element]
_etype [definition, in CFEM.C.element]
_eltid [definition, in CFEM.C.element]
_elt [definition, in CFEM.C.element]
_element_t [definition, in CFEM.C.element]
_element_free [definition, in CFEM.C.element]
_element_dR [definition, in CFEM.C.element]
_e [definition, in CFEM.C.element]
_du [definition, in CFEM.C.element]
_double_clear [definition, in CFEM.C.element]
_densematn_clear [definition, in CFEM.C.element]
_degree [definition, in CFEM.C.element]
_dR [definition, in CFEM.C.element]
_dN [definition, in CFEM.C.element]
_d [definition, in CFEM.C.element]
_abort [definition, in CFEM.C.element]
___stringlit_3 [definition, in CFEM.C.element]
___stringlit_2 [definition, in CFEM.C.element]
___stringlit_1 [definition, in CFEM.C.element]
___compcert_va_int64 [definition, in CFEM.C.element]
___compcert_va_int32 [definition, in CFEM.C.element]
___compcert_va_float64 [definition, in CFEM.C.element]
___compcert_va_composite [definition, in CFEM.C.element]
___compcert_i64_utof [definition, in CFEM.C.element]
___compcert_i64_utod [definition, in CFEM.C.element]
___compcert_i64_umulh [definition, in CFEM.C.element]
___compcert_i64_umod [definition, in CFEM.C.element]
___compcert_i64_udiv [definition, in CFEM.C.element]
___compcert_i64_stof [definition, in CFEM.C.element]
___compcert_i64_stod [definition, in CFEM.C.element]
___compcert_i64_smulh [definition, in CFEM.C.element]
___compcert_i64_smod [definition, in CFEM.C.element]
___compcert_i64_shr [definition, in CFEM.C.element]
___compcert_i64_shl [definition, in CFEM.C.element]
___compcert_i64_sdiv [definition, in CFEM.C.element]
___compcert_i64_sar [definition, in CFEM.C.element]
___compcert_i64_dtou [definition, in CFEM.C.element]
___compcert_i64_dtos [definition, in CFEM.C.element]
___builtin_va_start [definition, in CFEM.C.element]
___builtin_va_end [definition, in CFEM.C.element]
___builtin_va_copy [definition, in CFEM.C.element]
___builtin_va_arg [definition, in CFEM.C.element]
___builtin_unreachable [definition, in CFEM.C.element]
___builtin_sqrt [definition, in CFEM.C.element]
___builtin_sel [definition, in CFEM.C.element]
___builtin_memcpy_aligned [definition, in CFEM.C.element]
___builtin_membar [definition, in CFEM.C.element]
___builtin_fsqrt [definition, in CFEM.C.element]
___builtin_fnmsub [definition, in CFEM.C.element]
___builtin_fnmadd [definition, in CFEM.C.element]
___builtin_fmsub [definition, in CFEM.C.element]
___builtin_fmin [definition, in CFEM.C.element]
___builtin_fmax [definition, in CFEM.C.element]
___builtin_fmadd [definition, in CFEM.C.element]
___builtin_fabsf [definition, in CFEM.C.element]
___builtin_fabs [definition, in CFEM.C.element]
___builtin_expect [definition, in CFEM.C.element]
___builtin_debug [definition, in CFEM.C.element]
___builtin_ctzll [definition, in CFEM.C.element]
___builtin_ctzl [definition, in CFEM.C.element]
___builtin_ctz [definition, in CFEM.C.element]
___builtin_clzll [definition, in CFEM.C.element]
___builtin_clzl [definition, in CFEM.C.element]
___builtin_clz [definition, in CFEM.C.element]
___builtin_clsll [definition, in CFEM.C.element]
___builtin_clsl [definition, in CFEM.C.element]
___builtin_cls [definition, in CFEM.C.element]
___builtin_bswap64 [definition, in CFEM.C.element]
___builtin_bswap32 [definition, in CFEM.C.element]
___builtin_bswap16 [definition, in CFEM.C.element]
___builtin_bswap [definition, in CFEM.C.element]
___builtin_annot_intval [definition, in CFEM.C.element]
___builtin_annot [definition, in CFEM.C.element]
_X [definition, in CFEM.C.element]
_U [definition, in CFEM.C.element]
_Re [definition, in CFEM.C.element]
_N [definition, in CFEM.C.element]
_Ke [definition, in CFEM.C.element]
_J [definition, in CFEM.C.element]
_F [definition, in CFEM.C.element]
_t'9 [definition, in CFEM.C.shapes]
_t'8 [definition, in CFEM.C.shapes]
_t'7 [definition, in CFEM.C.shapes]
_t'6 [definition, in CFEM.C.shapes]
_t'54 [definition, in CFEM.C.shapes]
_t'53 [definition, in CFEM.C.shapes]
_t'52 [definition, in CFEM.C.shapes]
_t'51 [definition, in CFEM.C.shapes]
_t'50 [definition, in CFEM.C.shapes]
_t'5 [definition, in CFEM.C.shapes]
_t'49 [definition, in CFEM.C.shapes]
_t'48 [definition, in CFEM.C.shapes]
_t'47 [definition, in CFEM.C.shapes]
_t'46 [definition, in CFEM.C.shapes]
_t'45 [definition, in CFEM.C.shapes]
_t'44 [definition, in CFEM.C.shapes]
_t'43 [definition, in CFEM.C.shapes]
_t'42 [definition, in CFEM.C.shapes]
_t'41 [definition, in CFEM.C.shapes]
_t'40 [definition, in CFEM.C.shapes]
_t'4 [definition, in CFEM.C.shapes]
_t'39 [definition, in CFEM.C.shapes]
_t'38 [definition, in CFEM.C.shapes]
_t'37 [definition, in CFEM.C.shapes]
_t'36 [definition, in CFEM.C.shapes]
_t'35 [definition, in CFEM.C.shapes]
_t'34 [definition, in CFEM.C.shapes]
_t'33 [definition, in CFEM.C.shapes]
_t'32 [definition, in CFEM.C.shapes]
_t'31 [definition, in CFEM.C.shapes]
_t'30 [definition, in CFEM.C.shapes]
_t'3 [definition, in CFEM.C.shapes]
_t'29 [definition, in CFEM.C.shapes]
_t'28 [definition, in CFEM.C.shapes]
_t'27 [definition, in CFEM.C.shapes]
_t'26 [definition, in CFEM.C.shapes]
_t'25 [definition, in CFEM.C.shapes]
_t'24 [definition, in CFEM.C.shapes]
_t'23 [definition, in CFEM.C.shapes]
_t'22 [definition, in CFEM.C.shapes]
_t'21 [definition, in CFEM.C.shapes]
_t'20 [definition, in CFEM.C.shapes]
_t'2 [definition, in CFEM.C.shapes]
_t'19 [definition, in CFEM.C.shapes]
_t'18 [definition, in CFEM.C.shapes]
_t'17 [definition, in CFEM.C.shapes]
_t'16 [definition, in CFEM.C.shapes]
_t'15 [definition, in CFEM.C.shapes]
_t'14 [definition, in CFEM.C.shapes]
_t'13 [definition, in CFEM.C.shapes]
_t'12 [definition, in CFEM.C.shapes]
_t'11 [definition, in CFEM.C.shapes]
_t'10 [definition, in CFEM.C.shapes]
_t'1 [definition, in CFEM.C.shapes]
_xx [definition, in CFEM.C.shapes]
_x [definition, in CFEM.C.shapes]
_shapes2dT1 [definition, in CFEM.C.shapes]
_shapes2dS2 [definition, in CFEM.C.shapes]
_shapes2dP2 [definition, in CFEM.C.shapes]
_shapes2dP1 [definition, in CFEM.C.shapes]
_shapes1dP3 [definition, in CFEM.C.shapes]
_shapes1dP2 [definition, in CFEM.C.shapes]
_shapes1dP1 [definition, in CFEM.C.shapes]
_main [definition, in CFEM.C.shapes]
_densematn_set [definition, in CFEM.C.shapes]
_densematn_get [definition, in CFEM.C.shapes]
_dNy [definition, in CFEM.C.shapes]
_dNx [definition, in CFEM.C.shapes]
_dN [definition, in CFEM.C.shapes]
___compcert_va_int64 [definition, in CFEM.C.shapes]
___compcert_va_int32 [definition, in CFEM.C.shapes]
___compcert_va_float64 [definition, in CFEM.C.shapes]
___compcert_va_composite [definition, in CFEM.C.shapes]
___compcert_i64_utof [definition, in CFEM.C.shapes]
___compcert_i64_utod [definition, in CFEM.C.shapes]
___compcert_i64_umulh [definition, in CFEM.C.shapes]
___compcert_i64_umod [definition, in CFEM.C.shapes]
___compcert_i64_udiv [definition, in CFEM.C.shapes]
___compcert_i64_stof [definition, in CFEM.C.shapes]
___compcert_i64_stod [definition, in CFEM.C.shapes]
___compcert_i64_smulh [definition, in CFEM.C.shapes]
___compcert_i64_smod [definition, in CFEM.C.shapes]
___compcert_i64_shr [definition, in CFEM.C.shapes]
___compcert_i64_shl [definition, in CFEM.C.shapes]
___compcert_i64_sdiv [definition, in CFEM.C.shapes]
___compcert_i64_sar [definition, in CFEM.C.shapes]
___compcert_i64_dtou [definition, in CFEM.C.shapes]
___compcert_i64_dtos [definition, in CFEM.C.shapes]
___builtin_va_start [definition, in CFEM.C.shapes]
___builtin_va_end [definition, in CFEM.C.shapes]
___builtin_va_copy [definition, in CFEM.C.shapes]
___builtin_va_arg [definition, in CFEM.C.shapes]
___builtin_unreachable [definition, in CFEM.C.shapes]
___builtin_sqrt [definition, in CFEM.C.shapes]
___builtin_sel [definition, in CFEM.C.shapes]
___builtin_memcpy_aligned [definition, in CFEM.C.shapes]
___builtin_membar [definition, in CFEM.C.shapes]
___builtin_fsqrt [definition, in CFEM.C.shapes]
___builtin_fnmsub [definition, in CFEM.C.shapes]
___builtin_fnmadd [definition, in CFEM.C.shapes]
___builtin_fmsub [definition, in CFEM.C.shapes]
___builtin_fmin [definition, in CFEM.C.shapes]
___builtin_fmax [definition, in CFEM.C.shapes]
___builtin_fmadd [definition, in CFEM.C.shapes]
___builtin_fabsf [definition, in CFEM.C.shapes]
___builtin_fabs [definition, in CFEM.C.shapes]
___builtin_expect [definition, in CFEM.C.shapes]
___builtin_debug [definition, in CFEM.C.shapes]
___builtin_ctzll [definition, in CFEM.C.shapes]
___builtin_ctzl [definition, in CFEM.C.shapes]
___builtin_ctz [definition, in CFEM.C.shapes]
___builtin_clzll [definition, in CFEM.C.shapes]
___builtin_clzl [definition, in CFEM.C.shapes]
___builtin_clz [definition, in CFEM.C.shapes]
___builtin_clsll [definition, in CFEM.C.shapes]
___builtin_clsl [definition, in CFEM.C.shapes]
___builtin_cls [definition, in CFEM.C.shapes]
___builtin_bswap64 [definition, in CFEM.C.shapes]
___builtin_bswap32 [definition, in CFEM.C.shapes]
___builtin_bswap16 [definition, in CFEM.C.shapes]
___builtin_bswap [definition, in CFEM.C.shapes]
___builtin_annot_intval [definition, in CFEM.C.shapes]
___builtin_annot [definition, in CFEM.C.shapes]
_Ny [definition, in CFEM.C.shapes]
_Nx [definition, in CFEM.C.shapes]
_N [definition, in CFEM.C.shapes]
_t'3 [definition, in CFEM.C.matrix]
_t'2 [definition, in CFEM.C.matrix]
_t'1 [definition, in CFEM.C.matrix]
_x [definition, in CFEM.C.matrix]
_sqrt [definition, in CFEM.C.matrix]
_print [definition, in CFEM.C.matrix]
_p [definition, in CFEM.C.matrix]
_norm2 [definition, in CFEM.C.matrix]
_n [definition, in CFEM.C.matrix]
_matrix_t [definition, in CFEM.C.matrix]
_matrix_print [definition, in CFEM.C.matrix]
_matrix_norm2 [definition, in CFEM.C.matrix]
_matrix_norm [definition, in CFEM.C.matrix]
_matrix_data_t [definition, in CFEM.C.matrix]
_matrix_clear [definition, in CFEM.C.matrix]
_matrix_add [definition, in CFEM.C.matrix]
_main [definition, in CFEM.C.matrix]
_m [definition, in CFEM.C.matrix]
_j [definition, in CFEM.C.matrix]
_init_matrix_dense [definition, in CFEM.C.matrix]
_init_matrix_band [definition, in CFEM.C.matrix]
_i [definition, in CFEM.C.matrix]
_densemat_t [definition, in CFEM.C.matrix]
_densemat_print [definition, in CFEM.C.matrix]
_densemat_norm2 [definition, in CFEM.C.matrix]
_densemat_clear [definition, in CFEM.C.matrix]
_densemat_addto [definition, in CFEM.C.matrix]
_data [definition, in CFEM.C.matrix]
_clear [definition, in CFEM.C.matrix]
_casted_densemat_print [definition, in CFEM.C.matrix]
_casted_densemat_norm2 [definition, in CFEM.C.matrix]
_casted_densemat_clear [definition, in CFEM.C.matrix]
_casted_densemat_add [definition, in CFEM.C.matrix]
_casted_bandmat_print [definition, in CFEM.C.matrix]
_casted_bandmat_norm2 [definition, in CFEM.C.matrix]
_casted_bandmat_clear [definition, in CFEM.C.matrix]
_casted_bandmat_add [definition, in CFEM.C.matrix]
_bandmat_t [definition, in CFEM.C.matrix]
_bandmat_print [definition, in CFEM.C.matrix]
_bandmat_norm2 [definition, in CFEM.C.matrix]
_bandmat_clear [definition, in CFEM.C.matrix]
_bandmat_addto [definition, in CFEM.C.matrix]
_b [definition, in CFEM.C.matrix]
_add [definition, in CFEM.C.matrix]
___compcert_va_int64 [definition, in CFEM.C.matrix]
___compcert_va_int32 [definition, in CFEM.C.matrix]
___compcert_va_float64 [definition, in CFEM.C.matrix]
___compcert_va_composite [definition, in CFEM.C.matrix]
___compcert_i64_utof [definition, in CFEM.C.matrix]
___compcert_i64_utod [definition, in CFEM.C.matrix]
___compcert_i64_umulh [definition, in CFEM.C.matrix]
___compcert_i64_umod [definition, in CFEM.C.matrix]
___compcert_i64_udiv [definition, in CFEM.C.matrix]
___compcert_i64_stof [definition, in CFEM.C.matrix]
___compcert_i64_stod [definition, in CFEM.C.matrix]
___compcert_i64_smulh [definition, in CFEM.C.matrix]
___compcert_i64_smod [definition, in CFEM.C.matrix]
___compcert_i64_shr [definition, in CFEM.C.matrix]
___compcert_i64_shl [definition, in CFEM.C.matrix]
___compcert_i64_sdiv [definition, in CFEM.C.matrix]
___compcert_i64_sar [definition, in CFEM.C.matrix]
___compcert_i64_dtou [definition, in CFEM.C.matrix]
___compcert_i64_dtos [definition, in CFEM.C.matrix]
___builtin_va_start [definition, in CFEM.C.matrix]
___builtin_va_end [definition, in CFEM.C.matrix]
___builtin_va_copy [definition, in CFEM.C.matrix]
___builtin_va_arg [definition, in CFEM.C.matrix]
___builtin_unreachable [definition, in CFEM.C.matrix]
___builtin_sqrt [definition, in CFEM.C.matrix]
___builtin_sel [definition, in CFEM.C.matrix]
___builtin_memcpy_aligned [definition, in CFEM.C.matrix]
___builtin_membar [definition, in CFEM.C.matrix]
___builtin_fsqrt [definition, in CFEM.C.matrix]
___builtin_fnmsub [definition, in CFEM.C.matrix]
___builtin_fnmadd [definition, in CFEM.C.matrix]
___builtin_fmsub [definition, in CFEM.C.matrix]
___builtin_fmin [definition, in CFEM.C.matrix]
___builtin_fmax [definition, in CFEM.C.matrix]
___builtin_fmadd [definition, in CFEM.C.matrix]
___builtin_fabsf [definition, in CFEM.C.matrix]
___builtin_fabs [definition, in CFEM.C.matrix]
___builtin_expect [definition, in CFEM.C.matrix]
___builtin_debug [definition, in CFEM.C.matrix]
___builtin_ctzll [definition, in CFEM.C.matrix]
___builtin_ctzl [definition, in CFEM.C.matrix]
___builtin_ctz [definition, in CFEM.C.matrix]
___builtin_clzll [definition, in CFEM.C.matrix]
___builtin_clzl [definition, in CFEM.C.matrix]
___builtin_clz [definition, in CFEM.C.matrix]
___builtin_clsll [definition, in CFEM.C.matrix]
___builtin_clsl [definition, in CFEM.C.matrix]
___builtin_cls [definition, in CFEM.C.matrix]
___builtin_bswap64 [definition, in CFEM.C.matrix]
___builtin_bswap32 [definition, in CFEM.C.matrix]
___builtin_bswap16 [definition, in CFEM.C.matrix]
___builtin_bswap [definition, in CFEM.C.matrix]
___builtin_annot_intval [definition, in CFEM.C.matrix]
___builtin_annot [definition, in CFEM.C.matrix]
_A [definition, in CFEM.C.matrix]
Module Index
B
Bounds [in CFEM.shapefloat]F
F [in CFEM.C.verif_matrix]F [in CFEM.C.spec_shapes]
F [in CFEM.C.spec_matrix]
F [in CFEM.C.verif_shapes_base]
FShape [in CFEM.shapefloat]
I
Info [in CFEM.C.mesh]Info [in CFEM.C.fem]
Info [in CFEM.C.quadrules]
Info [in CFEM.C.element]
Info [in CFEM.C.shapes]
Info [in CFEM.C.matrix]
S
Shape [in CFEM.shape]T
Test1 [in CFEM.matrix_util]Test2 [in CFEM.matrix_util]
Test3 [in CFEM.matrix_util]
Test4 [in CFEM.matrix_util]
Variable Index
P
pointwise_derivable.n [in CFEM.shape]pointwise_derivable.m [in CFEM.shape]
pointwise_derivable.V [in CFEM.shape]
pointwise_derivable.R [in CFEM.shape]
S
Shape.S.R [in CFEM.shape]S.R [in CFEM.shape]
S.R [in CFEM.shape]
S.R [in CFEM.shape]
S.R [in CFEM.shape]
T
Test3.S.R [in CFEM.matrix_util]W
WithNaN.NAN [in CFEM.model]WithNaN.t [in CFEM.model]
Library Index
E
elementF
femM
matrixmatrix_util
mesh
model
N
nonexpansiveQ
quadrulesS
shapeshapefloat
shapes
shape_accuracy
spec_shapes
spec_matrix
V
verif_shapes2dverif_shapes2dP2
verif_matrix
verif_shapes1d
verif_shapes_base
VSU_shapes
Lemma Index
A
approx_func_ptr'' [in CFEM.C.nonexpansive]approx_exp' [in CFEM.C.nonexpansive]
approx_sepcon' [in CFEM.C.nonexpansive]
approx_andp' [in CFEM.C.nonexpansive]
approx_andp_prop [in CFEM.C.nonexpansive]
approx_approx_S [in CFEM.C.nonexpansive]
B
body_init_matrix_dense [in CFEM.C.verif_matrix]body_casted_densemat_print [in CFEM.C.verif_matrix]
body_matrix_print [in CFEM.C.verif_matrix]
body_casted_densemat_norm2 [in CFEM.C.verif_matrix]
body_matrix_norm [in CFEM.C.verif_matrix]
body_matrix_norm2 [in CFEM.C.verif_matrix]
body_casted_densemat_clear [in CFEM.C.verif_matrix]
body_matrix_clear [in CFEM.C.verif_matrix]
body_casted_densemat_add [in CFEM.C.verif_matrix]
body_matrix_add [in CFEM.C.verif_matrix]
body_shapes1dP3 [in CFEM.C.verif_shapes1d]
body_shapes1dP2 [in CFEM.C.verif_shapes1d]
body_shapes1dP1 [in CFEM.C.verif_shapes1d]
body_shapes2dT1 [in CFEM.C.verif_shapes2d]
body_shapes2dS2 [in CFEM.C.verif_shapes2d]
body_shapes2dP1 [in CFEM.C.verif_shapes2d]
body_shapes2dP2 [in CFEM.C.verif_shapes2dP2]
C
col__0 [in CFEM.shape]col_E_specific [in CFEM.matrix_util]
col_row_E [in CFEM.matrix_util]
col_row [in CFEM.matrix_util]
col_0_1 [in CFEM.matrix_util]
col_mxEd' [in CFEM.matrix_util]
col_mxEu' [in CFEM.matrix_util]
col_mxE [in CFEM.matrix_util]
col_mx_of_list [in CFEM.matrix_util]
const_mxE [in CFEM.matrix_util]
continously_differentiable_coord [in CFEM.shape]
continuously_differentiable_variable_power [in CFEM.shape]
continuously_differentiable_mul [in CFEM.shape]
continuously_differentiable_add [in CFEM.shape]
continuously_differentiable_vacuous [in CFEM.shape]
continuously_differentiable_cst [in CFEM.shape]
convex_combination_e [in CFEM.shape]
D
derivable_mxP [in CFEM.shape]derive_mx [in CFEM.shape]
derive_comp_mx_neq [in CFEM.shape]
derive_comp_mx [in CFEM.shape]
E
eq_locked_continuously_differentiable [in CFEM.shape]eq_continuously_differentiable [in CFEM.shape]
eq_differentiable [in CFEM.shape]
F
Float_of_bits_repr [in CFEM.C.verif_shapes_base]Float_of_int_repr [in CFEM.C.verif_shapes_base]
Float_sub_congr [in CFEM.C.verif_shapes_base]
Float_add_congr [in CFEM.C.verif_shapes_base]
Float_mul_congr [in CFEM.C.verif_shapes_base]
I
ifptr_valid_pointer [in CFEM.C.spec_shapes]ifptr_false [in CFEM.C.verif_shapes_base]
ifptr_true [in CFEM.C.verif_shapes_base]
isF [in CFEM.matrix_util]
is_derive_coord_simple [in CFEM.shape]
is_derive_row [in CFEM.shape]
M
matrix_obj_nonexpansive [in CFEM.C.spec_matrix]matrix_obj_valid_pointer [in CFEM.C.spec_matrix]
matrix_obj_local_facts [in CFEM.C.spec_matrix]
multivariate_polynomial_continuously_differentiable [in CFEM.shape]
mx_of_listE [in CFEM.matrix_util]
N
nth_List_nth [in CFEM.matrix_util]nth_ord_enum' [in CFEM.matrix_util]
O
ord_enum_cases [in CFEM.matrix_util]P
prove_roundoff_bound_2dT1deriv_2_1 [in CFEM.shape_accuracy]prove_roundoff_bound_2dT1deriv_2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1deriv_0_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dT1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_3_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1deriv_0_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_3 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_2dP1_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2deriv_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_2 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP2_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1deriv_0 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_1 [in CFEM.shape_accuracy]
prove_roundoff_bound_1dP1_0 [in CFEM.shape_accuracy]
R
roundoff_bound_2dT1 [in CFEM.shape_accuracy]roundoff_bound_2dP1 [in CFEM.shape_accuracy]
roundoff_bound_1dP2 [in CFEM.shape_accuracy]
roundoff_bound_1dP1 [in CFEM.shape_accuracy]
rowmx_of_list_1 [in CFEM.shape_accuracy]
rowmx_of_listn_E [in CFEM.matrix_util]
rowmx_of_list_E [in CFEM.matrix_util]
row__0 [in CFEM.shape]
row_E_specific [in CFEM.matrix_util]
row_col_E [in CFEM.matrix_util]
row_0_1 [in CFEM.matrix_util]
row_mxEr' [in CFEM.matrix_util]
row_mxEl' [in CFEM.matrix_util]
row_mxE [in CFEM.matrix_util]
row_mx_of_tr_list [in CFEM.matrix_util]
row_mx_of_list [in CFEM.matrix_util]
row01 [in CFEM.matrix_util]
S
size_ord_enum [in CFEM.matrix_util]split_matrix_rows [in CFEM.C.verif_shapes2d]
split_matrix_rows [in CFEM.C.verif_shapes2dP2]
split_shift_eq [in CFEM.matrix_util]
split_shift2 [in CFEM.matrix_util]
split_shift1 [in CFEM.matrix_util]
T
trmxE [in CFEM.shape]V
vmap_of_cV_list_valid [in CFEM.shape_accuracy]Constructor Index
I
IMP_mono [in CFEM.shape]IMP_mono1 [in CFEM.shape]
IMP_prod [in CFEM.shape]
IMP_opp [in CFEM.shape]
IMP_sum [in CFEM.shape]
IMP_const [in CFEM.shape]
Projection Index
F
FShape.bounds [in CFEM.shapefloat]FShape.dθ [in CFEM.shapefloat]
FShape.θ [in CFEM.shapefloat]
S
Shape.d [in CFEM.shape]Shape.deriv [in CFEM.shape]
Shape.diff [in CFEM.shape]
Shape.dθ [in CFEM.shape]
Shape.lagrangian [in CFEM.shape]
Shape.nsh [in CFEM.shape]
Shape.vtx [in CFEM.shape]
Shape.θ [in CFEM.shape]
Inductive Index
I
is_multivariate_polynomial [in CFEM.shape]Section Index
I
import_densemat [in CFEM.C.verif_matrix]import_densemat [in CFEM.C.verif_shapes_base]
P
pointwise_derivable [in CFEM.shape]S
S [in CFEM.shape]S [in CFEM.shape]
S [in CFEM.shape]
S [in CFEM.shape]
Shape.S [in CFEM.shape]
T
Test3.S [in CFEM.matrix_util]W
WithNaN [in CFEM.model]Instance Index
C
CompSpecs [in CFEM.C.spec_shapes]CompSpecs [in CFEM.C.spec_matrix]
I
is_derive_mx [in CFEM.shape]Abbreviation Index
C
compute_mx_of_list [in CFEM.matrix_util]F
frobenius_norm2 [in CFEM.C.spec_matrix]O
Ordn [in CFEM.matrix_util]T
the_ctype [in CFEM.C.spec_matrix]the_type [in CFEM.C.spec_matrix]
V
val_of_float [in CFEM.C.spec_matrix]Definition Index
A
A [in CFEM.matrix_util]acc_2dT1deriv [in CFEM.shape_accuracy]
acc_2dT1 [in CFEM.shape_accuracy]
acc_2dP1 [in CFEM.shape_accuracy]
acc_1dP2deriv [in CFEM.shape_accuracy]
acc_1dP2 [in CFEM.shape_accuracy]
acc_1dP1d [in CFEM.shape_accuracy]
acc_1dP1 [in CFEM.shape_accuracy]
B
bounds_enclose [in CFEM.shape_accuracy]Bounds.boundsmap [in CFEM.shapefloat]
Bounds.cuboid_boundsmap_2d [in CFEM.shapefloat]
Bounds.cuboid_boundsmap_1d [in CFEM.shapefloat]
Bounds.cuboid_bounds [in CFEM.shapefloat]
Bounds.firstn_canon_idents [in CFEM.shapefloat]
Bounds.simplex_boundsmap_2d [in CFEM.shapefloat]
Bounds.simplex_bounds [in CFEM.shapefloat]
C
casted_bandmat_print_spec [in CFEM.C.spec_matrix]casted_bandmat_norm2_spec [in CFEM.C.spec_matrix]
casted_bandmat_clear_spec [in CFEM.C.spec_matrix]
casted_bandmat_add_spec [in CFEM.C.spec_matrix]
casted_densemat_print_spec [in CFEM.C.spec_matrix]
casted_densemat_norm2_spec [in CFEM.C.spec_matrix]
casted_densemat_clear_spec [in CFEM.C.spec_matrix]
casted_densemat_add_spec [in CFEM.C.spec_matrix]
colmx_of_list [in CFEM.matrix_util]
composites [in CFEM.C.mesh]
composites [in CFEM.C.fem]
composites [in CFEM.C.quadrules]
composites [in CFEM.C.element]
composites [in CFEM.C.shapes]
composites [in CFEM.C.matrix]
continuously_differentiable [in CFEM.shape]
convex_combination' [in CFEM.shape]
convex_hull [in CFEM.shape]
convex_combination [in CFEM.shape]
D
dense_matrix_rep [in CFEM.C.spec_matrix]F
FPStdLib_ftype__canonical__Algebra_BaseAddUMagma [in CFEM.shapefloat]FPStdLib_ftype__canonical__Algebra_BaseAddMagma [in CFEM.shapefloat]
from_'I0_any [in CFEM.matrix_util]
f_mesh_print [in CFEM.C.mesh]
f_mesh_print_elt [in CFEM.C.mesh]
f_mesh_print_nodes [in CFEM.C.mesh]
f_mesh_shapes [in CFEM.C.mesh]
f_mesh_to_spatial [in CFEM.C.mesh]
f_mesh_block2d_T1 [in CFEM.C.mesh]
f_mesh_block2d_S2 [in CFEM.C.mesh]
f_mesh_block2d_P2 [in CFEM.C.mesh]
f_mesh_block2d_P1 [in CFEM.C.mesh]
f_mesh_create1d [in CFEM.C.mesh]
f_mesh_free [in CFEM.C.mesh]
f_mesh_malloc [in CFEM.C.mesh]
f_fem_print [in CFEM.C.fem]
f_fem_assemble_dense [in CFEM.C.fem]
f_fem_assemble_band [in CFEM.C.fem]
f_fem_assemble [in CFEM.C.fem]
f_assemble_vector [in CFEM.C.fem]
f_assemble_matrix [in CFEM.C.fem]
f_fem_set_load [in CFEM.C.fem]
f_fem_update_U [in CFEM.C.fem]
f_fem_assign_ids [in CFEM.C.fem]
f_fem_free [in CFEM.C.fem]
f_fem_malloc [in CFEM.C.fem]
f_hughes_weight [in CFEM.C.quadrules]
f_hughes_point [in CFEM.C.quadrules]
f_gauss2d_weight [in CFEM.C.quadrules]
f_gauss2d_point [in CFEM.C.quadrules]
f_gauss2d_npoint1d [in CFEM.C.quadrules]
f_gauss_weight [in CFEM.C.quadrules]
f_gauss_point [in CFEM.C.quadrules]
f_2dT1deriv_2_1 [in CFEM.shape_accuracy]
f_2dT1deriv_2_0 [in CFEM.shape_accuracy]
f_2dT1deriv_1_1 [in CFEM.shape_accuracy]
f_2dT1deriv_1_0 [in CFEM.shape_accuracy]
f_2dT1deriv_0_1 [in CFEM.shape_accuracy]
f_2dT1deriv_0_0 [in CFEM.shape_accuracy]
f_2dT1_2 [in CFEM.shape_accuracy]
f_2dT1_1 [in CFEM.shape_accuracy]
f_2dT1_0 [in CFEM.shape_accuracy]
f_2dP1deriv_3_1 [in CFEM.shape_accuracy]
f_2dP1deriv_3_0 [in CFEM.shape_accuracy]
f_2dP1deriv_2_1 [in CFEM.shape_accuracy]
f_2dP1deriv_2_0 [in CFEM.shape_accuracy]
f_2dP1deriv_1_1 [in CFEM.shape_accuracy]
f_2dP1deriv_1_0 [in CFEM.shape_accuracy]
f_2dP1deriv_0_1 [in CFEM.shape_accuracy]
f_2dP1deriv_0_0 [in CFEM.shape_accuracy]
f_2dP1_3 [in CFEM.shape_accuracy]
f_2dP1_2 [in CFEM.shape_accuracy]
f_2dP1_1 [in CFEM.shape_accuracy]
f_2dP1_0 [in CFEM.shape_accuracy]
f_1dP2deriv_2 [in CFEM.shape_accuracy]
f_1dP2deriv_1 [in CFEM.shape_accuracy]
f_1dP2deriv_0 [in CFEM.shape_accuracy]
f_1dP2_2 [in CFEM.shape_accuracy]
f_1dP2_1 [in CFEM.shape_accuracy]
f_1dP2_0 [in CFEM.shape_accuracy]
f_1dP1deriv_1 [in CFEM.shape_accuracy]
f_1dP1deriv_0 [in CFEM.shape_accuracy]
f_1dP1_1 [in CFEM.shape_accuracy]
f_1dP1_0 [in CFEM.shape_accuracy]
f_poisson2d_elt_dR [in CFEM.C.element]
f_get_quad2d [in CFEM.C.element]
f_poisson1d_elt_dR [in CFEM.C.element]
f_simple_elt_free [in CFEM.C.element]
f_malloc_poisson2d_element [in CFEM.C.element]
f_malloc_poisson1d_element [in CFEM.C.element]
f_element_free [in CFEM.C.element]
f_element_dR [in CFEM.C.element]
f_shapes2dT1 [in CFEM.C.shapes]
f_shapes2dS2 [in CFEM.C.shapes]
f_shapes2dP2 [in CFEM.C.shapes]
f_shapes2dP1 [in CFEM.C.shapes]
f_shapes1dP3 [in CFEM.C.shapes]
f_shapes1dP2 [in CFEM.C.shapes]
f_shapes1dP1 [in CFEM.C.shapes]
f_init_matrix_band [in CFEM.C.matrix]
f_casted_bandmat_print [in CFEM.C.matrix]
f_casted_bandmat_norm2 [in CFEM.C.matrix]
f_casted_bandmat_clear [in CFEM.C.matrix]
f_casted_bandmat_add [in CFEM.C.matrix]
f_init_matrix_dense [in CFEM.C.matrix]
f_casted_densemat_print [in CFEM.C.matrix]
f_casted_densemat_norm2 [in CFEM.C.matrix]
f_casted_densemat_clear [in CFEM.C.matrix]
f_casted_densemat_add [in CFEM.C.matrix]
f_matrix_print [in CFEM.C.matrix]
f_matrix_norm [in CFEM.C.matrix]
f_matrix_norm2 [in CFEM.C.matrix]
f_matrix_clear [in CFEM.C.matrix]
f_matrix_add [in CFEM.C.matrix]
G
global_definitions [in CFEM.C.mesh]global_definitions [in CFEM.C.fem]
global_definitions [in CFEM.C.quadrules]
global_definitions [in CFEM.C.element]
global_definitions [in CFEM.C.shapes]
global_definitions [in CFEM.C.matrix]
Gprog [in CFEM.C.verif_matrix]
Gprog [in CFEM.C.verif_shapes_base]
I
ifptr [in CFEM.C.spec_shapes]Info.abi [in CFEM.C.mesh]
Info.abi [in CFEM.C.fem]
Info.abi [in CFEM.C.quadrules]
Info.abi [in CFEM.C.element]
Info.abi [in CFEM.C.shapes]
Info.abi [in CFEM.C.matrix]
Info.arch [in CFEM.C.mesh]
Info.arch [in CFEM.C.fem]
Info.arch [in CFEM.C.quadrules]
Info.arch [in CFEM.C.element]
Info.arch [in CFEM.C.shapes]
Info.arch [in CFEM.C.matrix]
Info.big_endian [in CFEM.C.mesh]
Info.big_endian [in CFEM.C.fem]
Info.big_endian [in CFEM.C.quadrules]
Info.big_endian [in CFEM.C.element]
Info.big_endian [in CFEM.C.shapes]
Info.big_endian [in CFEM.C.matrix]
Info.bitsize [in CFEM.C.mesh]
Info.bitsize [in CFEM.C.fem]
Info.bitsize [in CFEM.C.quadrules]
Info.bitsize [in CFEM.C.element]
Info.bitsize [in CFEM.C.shapes]
Info.bitsize [in CFEM.C.matrix]
Info.build_branch [in CFEM.C.mesh]
Info.build_tag [in CFEM.C.mesh]
Info.build_number [in CFEM.C.mesh]
Info.build_branch [in CFEM.C.fem]
Info.build_tag [in CFEM.C.fem]
Info.build_number [in CFEM.C.fem]
Info.build_branch [in CFEM.C.quadrules]
Info.build_tag [in CFEM.C.quadrules]
Info.build_number [in CFEM.C.quadrules]
Info.build_branch [in CFEM.C.element]
Info.build_tag [in CFEM.C.element]
Info.build_number [in CFEM.C.element]
Info.build_branch [in CFEM.C.shapes]
Info.build_tag [in CFEM.C.shapes]
Info.build_number [in CFEM.C.shapes]
Info.build_branch [in CFEM.C.matrix]
Info.build_tag [in CFEM.C.matrix]
Info.build_number [in CFEM.C.matrix]
Info.model [in CFEM.C.mesh]
Info.model [in CFEM.C.fem]
Info.model [in CFEM.C.quadrules]
Info.model [in CFEM.C.element]
Info.model [in CFEM.C.shapes]
Info.model [in CFEM.C.matrix]
Info.normalized [in CFEM.C.mesh]
Info.normalized [in CFEM.C.fem]
Info.normalized [in CFEM.C.quadrules]
Info.normalized [in CFEM.C.element]
Info.normalized [in CFEM.C.shapes]
Info.normalized [in CFEM.C.matrix]
Info.source_file [in CFEM.C.mesh]
Info.source_file [in CFEM.C.fem]
Info.source_file [in CFEM.C.quadrules]
Info.source_file [in CFEM.C.element]
Info.source_file [in CFEM.C.shapes]
Info.source_file [in CFEM.C.matrix]
Info.version [in CFEM.C.mesh]
Info.version [in CFEM.C.fem]
Info.version [in CFEM.C.quadrules]
Info.version [in CFEM.C.element]
Info.version [in CFEM.C.shapes]
Info.version [in CFEM.C.matrix]
init_matrix_band_spec [in CFEM.C.spec_matrix]
init_matrix_dense_spec [in CFEM.C.spec_matrix]
is_multivariate_polynomial_sind [in CFEM.shape]
is_multivariate_polynomial_ind [in CFEM.shape]
is_shape_deriv [in CFEM.shape]
M
matrixVSU [in CFEM.C.verif_matrix]matrix_internal_specs [in CFEM.C.verif_matrix]
matrix_E [in CFEM.C.verif_matrix]
matrix_imported_specs [in CFEM.C.verif_matrix]
matrix_add_to [in CFEM.model]
matrix_ASI [in CFEM.C.spec_matrix]
matrix_print_spec [in CFEM.C.spec_matrix]
matrix_print_type [in CFEM.C.spec_matrix]
matrix_norm_spec [in CFEM.C.spec_matrix]
matrix_norm2_spec [in CFEM.C.spec_matrix]
matrix_norm2_type [in CFEM.C.spec_matrix]
matrix_clear_spec [in CFEM.C.spec_matrix]
matrix_clear_type [in CFEM.C.spec_matrix]
matrix_add_spec [in CFEM.C.spec_matrix]
matrix_add_type [in CFEM.C.spec_matrix]
matrix_rep_type [in CFEM.C.spec_matrix]
matrix_and_indices_typetree [in CFEM.C.spec_matrix]
matrix_package_typetree [in CFEM.C.spec_matrix]
matrix_and_indices [in CFEM.C.spec_matrix]
matrix_package [in CFEM.C.spec_matrix]
matrix_obj [in CFEM.C.spec_matrix]
matrix_print_spec' [in CFEM.C.spec_matrix]
matrix_norm2_spec' [in CFEM.C.spec_matrix]
matrix_clear_spec' [in CFEM.C.spec_matrix]
matrix_add_spec' [in CFEM.C.spec_matrix]
matrix_t [in CFEM.C.spec_matrix]
matrix_data_t [in CFEM.C.spec_matrix]
matrix_rep [in CFEM.C.spec_matrix]
mx_of_list [in CFEM.matrix_util]
mx_of_listn [in CFEM.matrix_util]
O
ord_enum2 [in CFEM.model]P
point_mx [in CFEM.model]prog [in CFEM.C.mesh]
prog [in CFEM.C.fem]
prog [in CFEM.C.quadrules]
prog [in CFEM.C.element]
prog [in CFEM.C.shapes]
prog [in CFEM.C.matrix]
public_idents [in CFEM.C.mesh]
public_idents [in CFEM.C.fem]
public_idents [in CFEM.C.quadrules]
public_idents [in CFEM.C.element]
public_idents [in CFEM.C.shapes]
public_idents [in CFEM.C.matrix]
R
relate_2dT1deriv_2_1 [in CFEM.shape_accuracy]relate_2dT1deriv_2_0 [in CFEM.shape_accuracy]
relate_2dT1deriv_1_1 [in CFEM.shape_accuracy]
relate_2dT1deriv_1_0 [in CFEM.shape_accuracy]
relate_2dT1deriv_0_1 [in CFEM.shape_accuracy]
relate_2dT1deriv_0_0 [in CFEM.shape_accuracy]
relate_2dT1_2 [in CFEM.shape_accuracy]
relate_2dT1_1 [in CFEM.shape_accuracy]
relate_2dT1_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_3_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_3_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_2_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_2_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_1_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_1_0 [in CFEM.shape_accuracy]
relate_2dP1deriv_0_1 [in CFEM.shape_accuracy]
relate_2dP1deriv_0_0 [in CFEM.shape_accuracy]
relate_2dP1_3 [in CFEM.shape_accuracy]
relate_2dP1_2 [in CFEM.shape_accuracy]
relate_2dP1_1 [in CFEM.shape_accuracy]
relate_2dP1_0 [in CFEM.shape_accuracy]
relate_1dP2deriv_2 [in CFEM.shape_accuracy]
relate_1dP2deriv_1 [in CFEM.shape_accuracy]
relate_1dP2deriv_0 [in CFEM.shape_accuracy]
relate_1dP2_2 [in CFEM.shape_accuracy]
relate_1dP2_1 [in CFEM.shape_accuracy]
relate_1dP2_0 [in CFEM.shape_accuracy]
relate_1dP1deriv_1 [in CFEM.shape_accuracy]
relate_1dP1deriv_0 [in CFEM.shape_accuracy]
relate_1dP1_1 [in CFEM.shape_accuracy]
relate_1dP1_0 [in CFEM.shape_accuracy]
roundoff_bound_lemma [in CFEM.shape_accuracy]
rowmx_of_listn [in CFEM.matrix_util]
rowmx_of_list [in CFEM.matrix_util]
S
shapesVSU [in CFEM.C.VSU_shapes]shapes_ASI [in CFEM.C.spec_shapes]
shapes_internal_specs [in CFEM.C.verif_shapes_base]
shapes_E [in CFEM.C.verif_shapes_base]
shapes_imported_specs [in CFEM.C.verif_shapes_base]
shapes1dP1 [in CFEM.shape]
shapes1dP1F [in CFEM.shapefloat]
shapes1dP1_spec [in CFEM.C.spec_shapes]
shapes1dP1_fderiv [in CFEM.shapefloat]
shapes1dP1_float [in CFEM.shapefloat]
shapes1dP1_dθ [in CFEM.shape]
shapes1dP1_vertices [in CFEM.shape]
shapes1dP1_θ [in CFEM.shape]
shapes1dP2 [in CFEM.shape]
shapes1dP2F [in CFEM.shapefloat]
shapes1dP2_spec [in CFEM.C.spec_shapes]
shapes1dP2_fderiv [in CFEM.shapefloat]
shapes1dP2_float [in CFEM.shapefloat]
shapes1dP2_dθ [in CFEM.shape]
shapes1dP2_θ [in CFEM.shape]
shapes1dP2_vertices [in CFEM.shape]
shapes1dP3 [in CFEM.shape]
shapes1dP3F [in CFEM.shapefloat]
shapes1dP3_spec [in CFEM.C.spec_shapes]
shapes1dP3_fderiv [in CFEM.shapefloat]
shapes1dP3_float [in CFEM.shapefloat]
shapes1dP3_dθ [in CFEM.shape]
shapes1dP3_θ [in CFEM.shape]
shapes1dP3_vertices [in CFEM.shape]
shapes2dP1 [in CFEM.shape]
shapes2dP1F [in CFEM.shapefloat]
shapes2dP1_spec [in CFEM.C.spec_shapes]
shapes2dP1_fderiv [in CFEM.shapefloat]
shapes2dP1_float [in CFEM.shapefloat]
shapes2dP1_dθ [in CFEM.shape]
shapes2dP1_θ [in CFEM.shape]
shapes2dP1_vertices [in CFEM.shape]
shapes2dP2 [in CFEM.shape]
shapes2dP2F [in CFEM.shapefloat]
shapes2dP2_spec [in CFEM.C.spec_shapes]
shapes2dP2_fderiv [in CFEM.shapefloat]
shapes2dP2_float [in CFEM.shapefloat]
shapes2dP2_dθ [in CFEM.shape]
shapes2dP2_θ [in CFEM.shape]
shapes2dP2_vertices [in CFEM.shape]
shapes2dS2 [in CFEM.shape]
shapes2dS2F [in CFEM.shapefloat]
shapes2dS2_spec [in CFEM.C.spec_shapes]
shapes2dS2_fderiv [in CFEM.shapefloat]
shapes2dS2_float [in CFEM.shapefloat]
shapes2dS2_dθ [in CFEM.shape]
shapes2dS2_θ [in CFEM.shape]
shapes2dS2_vertices [in CFEM.shape]
shapes2dT1 [in CFEM.shape]
shapes2dT1F [in CFEM.shapefloat]
shapes2dT1_spec [in CFEM.C.spec_shapes]
shapes2dT1_fderiv [in CFEM.shapefloat]
shapes2dT1_float [in CFEM.shapefloat]
shapes2dT1_dθ [in CFEM.shape]
shapes2dT1_θ [in CFEM.shape]
shapes2dT1_vertices [in CFEM.shape]
shape_spec [in CFEM.C.spec_shapes]
split_shift [in CFEM.matrix_util]
T
test_typetree [in CFEM.C.spec_matrix]Test1.A [in CFEM.matrix_util]
Test2.B [in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddUMagma [in CFEM.matrix_util]
Test2.FPCore_ftype__canonical__Algebra_BaseAddMagma [in CFEM.matrix_util]
Test2.HB_unnamed_factory_3 [in CFEM.matrix_util]
Test2.HB_unnamed_factory_1 [in CFEM.matrix_util]
Test3.A [in CFEM.matrix_util]
Test3.U [in CFEM.matrix_util]
Test3.V [in CFEM.matrix_util]
Test4.add [in CFEM.matrix_util]
Test4.B [in CFEM.matrix_util]
Test4.float [in CFEM.matrix_util]
Test4.HB_unnamed_factory_7 [in CFEM.matrix_util]
Test4.HB_unnamed_factory_5 [in CFEM.matrix_util]
Test4.ofZ [in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddUMagma [in CFEM.matrix_util]
Test4.Test4_float__canonical__Algebra_BaseAddMagma [in CFEM.matrix_util]
U
Unnamed_thm [in CFEM.C.spec_matrix]Unnamed_thm [in CFEM.C.spec_matrix]
Unnamed_thm [in CFEM.shape_accuracy]
V
vmap_of_cV [in CFEM.shape_accuracy]vmap_of_cV_list [in CFEM.shape_accuracy]
Vprog [in CFEM.C.spec_shapes]
Vprog [in CFEM.C.spec_matrix]
v___stringlit_12 [in CFEM.C.mesh]
v___stringlit_8 [in CFEM.C.mesh]
v___stringlit_5 [in CFEM.C.mesh]
v___stringlit_1 [in CFEM.C.mesh]
v___stringlit_6 [in CFEM.C.mesh]
v___stringlit_7 [in CFEM.C.mesh]
v___stringlit_3 [in CFEM.C.mesh]
v___stringlit_2 [in CFEM.C.mesh]
v___stringlit_10 [in CFEM.C.mesh]
v___stringlit_4 [in CFEM.C.mesh]
v___stringlit_9 [in CFEM.C.mesh]
v___stringlit_11 [in CFEM.C.mesh]
v___stringlit_2 [in CFEM.C.fem]
v___stringlit_1 [in CFEM.C.fem]
v___stringlit_9 [in CFEM.C.fem]
v___stringlit_3 [in CFEM.C.fem]
v___stringlit_5 [in CFEM.C.fem]
v___stringlit_6 [in CFEM.C.fem]
v___stringlit_4 [in CFEM.C.fem]
v___stringlit_7 [in CFEM.C.fem]
v___stringlit_8 [in CFEM.C.fem]
v___stderrp [in CFEM.C.quadrules]
v___stringlit_2 [in CFEM.C.quadrules]
v___stringlit_1 [in CFEM.C.quadrules]
v___stringlit_1 [in CFEM.C.element]
v___stringlit_3 [in CFEM.C.element]
v___stringlit_2 [in CFEM.C.element]
X
xx [in CFEM.shapefloat]x_vmap [in CFEM.shape_accuracy]
x_vmap_list [in CFEM.shape_accuracy]
Y
yy [in CFEM.shapefloat]_
_t'9 [in CFEM.C.mesh]_t'8 [in CFEM.C.mesh]
_t'7 [in CFEM.C.mesh]
_t'6 [in CFEM.C.mesh]
_t'5 [in CFEM.C.mesh]
_t'4 [in CFEM.C.mesh]
_t'3 [in CFEM.C.mesh]
_t'2 [in CFEM.C.mesh]
_t'17 [in CFEM.C.mesh]
_t'16 [in CFEM.C.mesh]
_t'15 [in CFEM.C.mesh]
_t'14 [in CFEM.C.mesh]
_t'13 [in CFEM.C.mesh]
_t'12 [in CFEM.C.mesh]
_t'11 [in CFEM.C.mesh]
_t'10 [in CFEM.C.mesh]
_t'1 [in CFEM.C.mesh]
_xref [in CFEM.C.mesh]
_xout [in CFEM.C.mesh]
_x [in CFEM.C.mesh]
_surely_malloc [in CFEM.C.mesh]
_start [in CFEM.C.mesh]
_shapes2dT1 [in CFEM.C.mesh]
_shapes2dS2 [in CFEM.C.mesh]
_shapes2dP2 [in CFEM.C.mesh]
_shapes2dP1 [in CFEM.C.mesh]
_shapes1dP3 [in CFEM.C.mesh]
_shapes1dP2 [in CFEM.C.mesh]
_shapes1dP1 [in CFEM.C.mesh]
_shape [in CFEM.C.mesh]
_printf [in CFEM.C.mesh]
_ny [in CFEM.C.mesh]
_nx1 [in CFEM.C.mesh]
_nx0 [in CFEM.C.mesh]
_nx [in CFEM.C.mesh]
_numnp [in CFEM.C.mesh]
_numelt [in CFEM.C.mesh]
_nshape [in CFEM.C.mesh]
_ney [in CFEM.C.mesh]
_nex [in CFEM.C.mesh]
_nen [in CFEM.C.mesh]
_mesh_to_spatial [in CFEM.C.mesh]
_mesh_t [in CFEM.C.mesh]
_mesh_shapes [in CFEM.C.mesh]
_mesh_print_nodes [in CFEM.C.mesh]
_mesh_print_elt [in CFEM.C.mesh]
_mesh_print [in CFEM.C.mesh]
_mesh_malloc [in CFEM.C.mesh]
_mesh_free [in CFEM.C.mesh]
_mesh_create1d [in CFEM.C.mesh]
_mesh_block2d_T1 [in CFEM.C.mesh]
_mesh_block2d_S2 [in CFEM.C.mesh]
_mesh_block2d_P2 [in CFEM.C.mesh]
_mesh_block2d_P1 [in CFEM.C.mesh]
_mesh [in CFEM.C.mesh]
_memcpy [in CFEM.C.mesh]
_main [in CFEM.C.mesh]
_k__2 [in CFEM.C.mesh]
_k__1 [in CFEM.C.mesh]
_k [in CFEM.C.mesh]
_j__2 [in CFEM.C.mesh]
_j__1 [in CFEM.C.mesh]
_j [in CFEM.C.mesh]
_iy__1 [in CFEM.C.mesh]
_iy [in CFEM.C.mesh]
_ix__3 [in CFEM.C.mesh]
_ix__2 [in CFEM.C.mesh]
_ix__1 [in CFEM.C.mesh]
_ix [in CFEM.C.mesh]
_ipiv [in CFEM.C.mesh]
_int_calloc [in CFEM.C.mesh]
_i_ww [in CFEM.C.mesh]
_i_sw [in CFEM.C.mesh]
_i_nw [in CFEM.C.mesh]
_i__1 [in CFEM.C.mesh]
_i [in CFEM.C.mesh]
_free [in CFEM.C.mesh]
_eltid [in CFEM.C.mesh]
_elt [in CFEM.C.mesh]
_double_clear [in CFEM.C.mesh]
_double_calloc [in CFEM.C.mesh]
_densematn_lusolveT [in CFEM.C.mesh]
_densematn_lujac [in CFEM.C.mesh]
_densematn_lufactor [in CFEM.C.mesh]
_densematn_clear [in CFEM.C.mesh]
_degree [in CFEM.C.mesh]
_dNk [in CFEM.C.mesh]
_dN [in CFEM.C.mesh]
_d [in CFEM.C.mesh]
_b [in CFEM.C.mesh]
_abort [in CFEM.C.mesh]
_a [in CFEM.C.mesh]
___stringlit_9 [in CFEM.C.mesh]
___stringlit_8 [in CFEM.C.mesh]
___stringlit_7 [in CFEM.C.mesh]
___stringlit_6 [in CFEM.C.mesh]
___stringlit_5 [in CFEM.C.mesh]
___stringlit_4 [in CFEM.C.mesh]
___stringlit_3 [in CFEM.C.mesh]
___stringlit_2 [in CFEM.C.mesh]
___stringlit_12 [in CFEM.C.mesh]
___stringlit_11 [in CFEM.C.mesh]
___stringlit_10 [in CFEM.C.mesh]
___stringlit_1 [in CFEM.C.mesh]
___compcert_va_int64 [in CFEM.C.mesh]
___compcert_va_int32 [in CFEM.C.mesh]
___compcert_va_float64 [in CFEM.C.mesh]
___compcert_va_composite [in CFEM.C.mesh]
___compcert_i64_utof [in CFEM.C.mesh]
___compcert_i64_utod [in CFEM.C.mesh]
___compcert_i64_umulh [in CFEM.C.mesh]
___compcert_i64_umod [in CFEM.C.mesh]
___compcert_i64_udiv [in CFEM.C.mesh]
___compcert_i64_stof [in CFEM.C.mesh]
___compcert_i64_stod [in CFEM.C.mesh]
___compcert_i64_smulh [in CFEM.C.mesh]
___compcert_i64_smod [in CFEM.C.mesh]
___compcert_i64_shr [in CFEM.C.mesh]
___compcert_i64_shl [in CFEM.C.mesh]
___compcert_i64_sdiv [in CFEM.C.mesh]
___compcert_i64_sar [in CFEM.C.mesh]
___compcert_i64_dtou [in CFEM.C.mesh]
___compcert_i64_dtos [in CFEM.C.mesh]
___builtin_va_start [in CFEM.C.mesh]
___builtin_va_end [in CFEM.C.mesh]
___builtin_va_copy [in CFEM.C.mesh]
___builtin_va_arg [in CFEM.C.mesh]
___builtin_unreachable [in CFEM.C.mesh]
___builtin_sqrt [in CFEM.C.mesh]
___builtin_sel [in CFEM.C.mesh]
___builtin_memcpy_aligned [in CFEM.C.mesh]
___builtin_membar [in CFEM.C.mesh]
___builtin_fsqrt [in CFEM.C.mesh]
___builtin_fnmsub [in CFEM.C.mesh]
___builtin_fnmadd [in CFEM.C.mesh]
___builtin_fmsub [in CFEM.C.mesh]
___builtin_fmin [in CFEM.C.mesh]
___builtin_fmax [in CFEM.C.mesh]
___builtin_fmadd [in CFEM.C.mesh]
___builtin_fabsf [in CFEM.C.mesh]
___builtin_fabs [in CFEM.C.mesh]
___builtin_expect [in CFEM.C.mesh]
___builtin_debug [in CFEM.C.mesh]
___builtin_ctzll [in CFEM.C.mesh]
___builtin_ctzl [in CFEM.C.mesh]
___builtin_ctz [in CFEM.C.mesh]
___builtin_clzll [in CFEM.C.mesh]
___builtin_clzl [in CFEM.C.mesh]
___builtin_clz [in CFEM.C.mesh]
___builtin_clsll [in CFEM.C.mesh]
___builtin_clsl [in CFEM.C.mesh]
___builtin_cls [in CFEM.C.mesh]
___builtin_bswap64 [in CFEM.C.mesh]
___builtin_bswap32 [in CFEM.C.mesh]
___builtin_bswap16 [in CFEM.C.mesh]
___builtin_bswap [in CFEM.C.mesh]
___builtin_annot_intval [in CFEM.C.mesh]
___builtin_annot [in CFEM.C.mesh]
_Xi [in CFEM.C.mesh]
_X [in CFEM.C.mesh]
_N [in CFEM.C.mesh]
_J [in CFEM.C.mesh]
_t'9 [in CFEM.C.fem]
_t'8 [in CFEM.C.fem]
_t'7 [in CFEM.C.fem]
_t'6 [in CFEM.C.fem]
_t'5 [in CFEM.C.fem]
_t'4 [in CFEM.C.fem]
_t'3 [in CFEM.C.fem]
_t'24 [in CFEM.C.fem]
_t'23 [in CFEM.C.fem]
_t'22 [in CFEM.C.fem]
_t'21 [in CFEM.C.fem]
_t'20 [in CFEM.C.fem]
_t'2 [in CFEM.C.fem]
_t'19 [in CFEM.C.fem]
_t'18 [in CFEM.C.fem]
_t'17 [in CFEM.C.fem]
_t'16 [in CFEM.C.fem]
_t'15 [in CFEM.C.fem]
_t'14 [in CFEM.C.fem]
_t'13 [in CFEM.C.fem]
_t'12 [in CFEM.C.fem]
_t'11 [in CFEM.C.fem]
_t'10 [in CFEM.C.fem]
_t'1 [in CFEM.C.fem]
_ve [in CFEM.C.fem]
_v [in CFEM.C.fem]
_surely_malloc [in CFEM.C.fem]
_shape [in CFEM.C.fem]
_printf [in CFEM.C.fem]
_print [in CFEM.C.fem]
_p [in CFEM.C.fem]
_numnp [in CFEM.C.fem]
_numelt [in CFEM.C.fem]
_norm2 [in CFEM.C.fem]
_next_id [in CFEM.C.fem]
_nen [in CFEM.C.fem]
_ne [in CFEM.C.fem]
_ndof [in CFEM.C.fem]
_nactive [in CFEM.C.fem]
_n [in CFEM.C.fem]
_mesh_t [in CFEM.C.fem]
_mesh_print_elt [in CFEM.C.fem]
_mesh_free [in CFEM.C.fem]
_mesh [in CFEM.C.fem]
_matrix_t [in CFEM.C.fem]
_matrix_data_t [in CFEM.C.fem]
_matrix_clear [in CFEM.C.fem]
_matrix_add [in CFEM.C.fem]
_main [in CFEM.C.fem]
_m [in CFEM.C.fem]
_je [in CFEM.C.fem]
_j__5 [in CFEM.C.fem]
_j__4 [in CFEM.C.fem]
_j__3 [in CFEM.C.fem]
_j__2 [in CFEM.C.fem]
_j__1 [in CFEM.C.fem]
_j [in CFEM.C.fem]
_int_calloc [in CFEM.C.fem]
_init_matrix_dense [in CFEM.C.fem]
_init_matrix_band [in CFEM.C.fem]
_ie [in CFEM.C.fem]
_ids [in CFEM.C.fem]
_id [in CFEM.C.fem]
_i [in CFEM.C.fem]
_free [in CFEM.C.fem]
_fem_update_U [in CFEM.C.fem]
_fem_t [in CFEM.C.fem]
_fem_set_load [in CFEM.C.fem]
_fem_print [in CFEM.C.fem]
_fem_malloc [in CFEM.C.fem]
_fem_free [in CFEM.C.fem]
_fem_assign_ids [in CFEM.C.fem]
_fem_assemble_dense [in CFEM.C.fem]
_fem_assemble_band [in CFEM.C.fem]
_fem_assemble [in CFEM.C.fem]
_fe [in CFEM.C.fem]
_f [in CFEM.C.fem]
_etype [in CFEM.C.fem]
_emat [in CFEM.C.fem]
_elt [in CFEM.C.fem]
_element_t [in CFEM.C.fem]
_element_dR [in CFEM.C.fem]
_du_red [in CFEM.C.fem]
_double_clear [in CFEM.C.fem]
_double_calloc [in CFEM.C.fem]
_densematn_get [in CFEM.C.fem]
_densemat_t [in CFEM.C.fem]
_data [in CFEM.C.fem]
_dR [in CFEM.C.fem]
_d [in CFEM.C.fem]
_clear [in CFEM.C.fem]
_bandmat_t [in CFEM.C.fem]
_b [in CFEM.C.fem]
_assemble_vector [in CFEM.C.fem]
_assemble_matrix [in CFEM.C.fem]
_add [in CFEM.C.fem]
___stringlit_9 [in CFEM.C.fem]
___stringlit_8 [in CFEM.C.fem]
___stringlit_7 [in CFEM.C.fem]
___stringlit_6 [in CFEM.C.fem]
___stringlit_5 [in CFEM.C.fem]
___stringlit_4 [in CFEM.C.fem]
___stringlit_3 [in CFEM.C.fem]
___stringlit_2 [in CFEM.C.fem]
___stringlit_1 [in CFEM.C.fem]
___compcert_va_int64 [in CFEM.C.fem]
___compcert_va_int32 [in CFEM.C.fem]
___compcert_va_float64 [in CFEM.C.fem]
___compcert_va_composite [in CFEM.C.fem]
___compcert_i64_utof [in CFEM.C.fem]
___compcert_i64_utod [in CFEM.C.fem]
___compcert_i64_umulh [in CFEM.C.fem]
___compcert_i64_umod [in CFEM.C.fem]
___compcert_i64_udiv [in CFEM.C.fem]
___compcert_i64_stof [in CFEM.C.fem]
___compcert_i64_stod [in CFEM.C.fem]
___compcert_i64_smulh [in CFEM.C.fem]
___compcert_i64_smod [in CFEM.C.fem]
___compcert_i64_shr [in CFEM.C.fem]
___compcert_i64_shl [in CFEM.C.fem]
___compcert_i64_sdiv [in CFEM.C.fem]
___compcert_i64_sar [in CFEM.C.fem]
___compcert_i64_dtou [in CFEM.C.fem]
___compcert_i64_dtos [in CFEM.C.fem]
___builtin_va_start [in CFEM.C.fem]
___builtin_va_end [in CFEM.C.fem]
___builtin_va_copy [in CFEM.C.fem]
___builtin_va_arg [in CFEM.C.fem]
___builtin_unreachable [in CFEM.C.fem]
___builtin_sqrt [in CFEM.C.fem]
___builtin_sel [in CFEM.C.fem]
___builtin_memcpy_aligned [in CFEM.C.fem]
___builtin_membar [in CFEM.C.fem]
___builtin_fsqrt [in CFEM.C.fem]
___builtin_fnmsub [in CFEM.C.fem]
___builtin_fnmadd [in CFEM.C.fem]
___builtin_fmsub [in CFEM.C.fem]
___builtin_fmin [in CFEM.C.fem]
___builtin_fmax [in CFEM.C.fem]
___builtin_fmadd [in CFEM.C.fem]
___builtin_fabsf [in CFEM.C.fem]
___builtin_fabs [in CFEM.C.fem]
___builtin_expect [in CFEM.C.fem]
___builtin_debug [in CFEM.C.fem]
___builtin_ctzll [in CFEM.C.fem]
___builtin_ctzl [in CFEM.C.fem]
___builtin_ctz [in CFEM.C.fem]
___builtin_clzll [in CFEM.C.fem]
___builtin_clzl [in CFEM.C.fem]
___builtin_clz [in CFEM.C.fem]
___builtin_clsll [in CFEM.C.fem]
___builtin_clsl [in CFEM.C.fem]
___builtin_cls [in CFEM.C.fem]
___builtin_bswap64 [in CFEM.C.fem]
___builtin_bswap32 [in CFEM.C.fem]
___builtin_bswap16 [in CFEM.C.fem]
___builtin_bswap [in CFEM.C.fem]
___builtin_annot_intval [in CFEM.C.fem]
___builtin_annot [in CFEM.C.fem]
_X [in CFEM.C.fem]
_U [in CFEM.C.fem]
_Re [in CFEM.C.fem]
_R [in CFEM.C.fem]
_Kmatrix [in CFEM.C.fem]
_Ke [in CFEM.C.fem]
_K [in CFEM.C.fem]
_F [in CFEM.C.fem]
_t'3 [in CFEM.C.quadrules]
_t'2 [in CFEM.C.quadrules]
_t'1 [in CFEM.C.quadrules]
_xi [in CFEM.C.quadrules]
_npts [in CFEM.C.quadrules]
_main [in CFEM.C.quadrules]
_iy [in CFEM.C.quadrules]
_ix [in CFEM.C.quadrules]
_i [in CFEM.C.quadrules]
_hughes_weight [in CFEM.C.quadrules]
_hughes_point [in CFEM.C.quadrules]
_gauss_wts [in CFEM.C.quadrules]
_gauss_weight [in CFEM.C.quadrules]
_gauss_pts [in CFEM.C.quadrules]
_gauss_point [in CFEM.C.quadrules]
_gauss2d_weight [in CFEM.C.quadrules]
_gauss2d_point [in CFEM.C.quadrules]
_gauss2d_npoint1d [in CFEM.C.quadrules]
_fprintf [in CFEM.C.quadrules]
_exit [in CFEM.C.quadrules]
_d [in CFEM.C.quadrules]
__write [in CFEM.C.quadrules]
__w [in CFEM.C.quadrules]
__ur [in CFEM.C.quadrules]
__ubuf [in CFEM.C.quadrules]
__ub [in CFEM.C.quadrules]
__size [in CFEM.C.quadrules]
__seek [in CFEM.C.quadrules]
__read [in CFEM.C.quadrules]
__r [in CFEM.C.quadrules]
__p [in CFEM.C.quadrules]
__offset [in CFEM.C.quadrules]
__nbuf [in CFEM.C.quadrules]
__lbfsize [in CFEM.C.quadrules]
__lb [in CFEM.C.quadrules]
__flags [in CFEM.C.quadrules]
__file [in CFEM.C.quadrules]
__extra [in CFEM.C.quadrules]
__cookie [in CFEM.C.quadrules]
__close [in CFEM.C.quadrules]
__blksize [in CFEM.C.quadrules]
__bf [in CFEM.C.quadrules]
__base [in CFEM.C.quadrules]
___stringlit_2 [in CFEM.C.quadrules]
___stringlit_1 [in CFEM.C.quadrules]
___stderrp [in CFEM.C.quadrules]
___sbuf [in CFEM.C.quadrules]
___sFILEX [in CFEM.C.quadrules]
___sFILE [in CFEM.C.quadrules]
___compcert_va_int64 [in CFEM.C.quadrules]
___compcert_va_int32 [in CFEM.C.quadrules]
___compcert_va_float64 [in CFEM.C.quadrules]
___compcert_va_composite [in CFEM.C.quadrules]
___compcert_i64_utof [in CFEM.C.quadrules]
___compcert_i64_utod [in CFEM.C.quadrules]
___compcert_i64_umulh [in CFEM.C.quadrules]
___compcert_i64_umod [in CFEM.C.quadrules]
___compcert_i64_udiv [in CFEM.C.quadrules]
___compcert_i64_stof [in CFEM.C.quadrules]
___compcert_i64_stod [in CFEM.C.quadrules]
___compcert_i64_smulh [in CFEM.C.quadrules]
___compcert_i64_smod [in CFEM.C.quadrules]
___compcert_i64_shr [in CFEM.C.quadrules]
___compcert_i64_shl [in CFEM.C.quadrules]
___compcert_i64_sdiv [in CFEM.C.quadrules]
___compcert_i64_sar [in CFEM.C.quadrules]
___compcert_i64_dtou [in CFEM.C.quadrules]
___compcert_i64_dtos [in CFEM.C.quadrules]
___builtin_va_start [in CFEM.C.quadrules]
___builtin_va_end [in CFEM.C.quadrules]
___builtin_va_copy [in CFEM.C.quadrules]
___builtin_va_arg [in CFEM.C.quadrules]
___builtin_unreachable [in CFEM.C.quadrules]
___builtin_sqrt [in CFEM.C.quadrules]
___builtin_sel [in CFEM.C.quadrules]
___builtin_memcpy_aligned [in CFEM.C.quadrules]
___builtin_membar [in CFEM.C.quadrules]
___builtin_fsqrt [in CFEM.C.quadrules]
___builtin_fnmsub [in CFEM.C.quadrules]
___builtin_fnmadd [in CFEM.C.quadrules]
___builtin_fmsub [in CFEM.C.quadrules]
___builtin_fmin [in CFEM.C.quadrules]
___builtin_fmax [in CFEM.C.quadrules]
___builtin_fmadd [in CFEM.C.quadrules]
___builtin_fabsf [in CFEM.C.quadrules]
___builtin_fabs [in CFEM.C.quadrules]
___builtin_expect [in CFEM.C.quadrules]
___builtin_debug [in CFEM.C.quadrules]
___builtin_ctzll [in CFEM.C.quadrules]
___builtin_ctzl [in CFEM.C.quadrules]
___builtin_ctz [in CFEM.C.quadrules]
___builtin_clzll [in CFEM.C.quadrules]
___builtin_clzl [in CFEM.C.quadrules]
___builtin_clz [in CFEM.C.quadrules]
___builtin_clsll [in CFEM.C.quadrules]
___builtin_clsl [in CFEM.C.quadrules]
___builtin_cls [in CFEM.C.quadrules]
___builtin_bswap64 [in CFEM.C.quadrules]
___builtin_bswap32 [in CFEM.C.quadrules]
___builtin_bswap16 [in CFEM.C.quadrules]
___builtin_bswap [in CFEM.C.quadrules]
___builtin_annot_intval [in CFEM.C.quadrules]
___builtin_annot [in CFEM.C.quadrules]
_t'9 [in CFEM.C.element]
_t'8 [in CFEM.C.element]
_t'7 [in CFEM.C.element]
_t'6 [in CFEM.C.element]
_t'5 [in CFEM.C.element]
_t'4 [in CFEM.C.element]
_t'33 [in CFEM.C.element]
_t'32 [in CFEM.C.element]
_t'31 [in CFEM.C.element]
_t'30 [in CFEM.C.element]
_t'3 [in CFEM.C.element]
_t'29 [in CFEM.C.element]
_t'28 [in CFEM.C.element]
_t'27 [in CFEM.C.element]
_t'26 [in CFEM.C.element]
_t'25 [in CFEM.C.element]
_t'24 [in CFEM.C.element]
_t'23 [in CFEM.C.element]
_t'22 [in CFEM.C.element]
_t'21 [in CFEM.C.element]
_t'20 [in CFEM.C.element]
_t'2 [in CFEM.C.element]
_t'19 [in CFEM.C.element]
_t'18 [in CFEM.C.element]
_t'17 [in CFEM.C.element]
_t'16 [in CFEM.C.element]
_t'15 [in CFEM.C.element]
_t'14 [in CFEM.C.element]
_t'13 [in CFEM.C.element]
_t'12 [in CFEM.C.element]
_t'11 [in CFEM.C.element]
_t'10 [in CFEM.C.element]
_t'1 [in CFEM.C.element]
_x [in CFEM.C.element]
_wt [in CFEM.C.element]
_surely_malloc [in CFEM.C.element]
_simple_elt_free [in CFEM.C.element]
_shapes2dT1 [in CFEM.C.element]
_shapes2dS2 [in CFEM.C.element]
_shapes2dP2 [in CFEM.C.element]
_shapes2dP1 [in CFEM.C.element]
_shapefn [in CFEM.C.element]
_shape [in CFEM.C.element]
_quad_wt [in CFEM.C.element]
_quad_pt [in CFEM.C.element]
_printf [in CFEM.C.element]
_poisson_elt_t [in CFEM.C.element]
_poisson2d_elt_dR [in CFEM.C.element]
_poisson1d_elt_dR [in CFEM.C.element]
_p [in CFEM.C.element]
_numnp [in CFEM.C.element]
_numelt [in CFEM.C.element]
_nquad [in CFEM.C.element]
_nen [in CFEM.C.element]
_ndof [in CFEM.C.element]
_nactive [in CFEM.C.element]
_mesh_t [in CFEM.C.element]
_mesh_shapes [in CFEM.C.element]
_mesh [in CFEM.C.element]
_malloc_poisson2d_element [in CFEM.C.element]
_malloc_poisson1d_element [in CFEM.C.element]
_main [in CFEM.C.element]
_le [in CFEM.C.element]
_k [in CFEM.C.element]
_j__1 [in CFEM.C.element]
_j [in CFEM.C.element]
_id [in CFEM.C.element]
_i__1 [in CFEM.C.element]
_i [in CFEM.C.element]
_hughes_weight [in CFEM.C.element]
_hughes_point [in CFEM.C.element]
_get_quad2d [in CFEM.C.element]
_gauss_weight [in CFEM.C.element]
_gauss_point [in CFEM.C.element]
_gauss2d_weight [in CFEM.C.element]
_gauss2d_point [in CFEM.C.element]
_fx [in CFEM.C.element]
_free [in CFEM.C.element]
_fem_t [in CFEM.C.element]
_fe [in CFEM.C.element]
_etype [in CFEM.C.element]
_eltid [in CFEM.C.element]
_elt [in CFEM.C.element]
_element_t [in CFEM.C.element]
_element_free [in CFEM.C.element]
_element_dR [in CFEM.C.element]
_e [in CFEM.C.element]
_du [in CFEM.C.element]
_double_clear [in CFEM.C.element]
_densematn_clear [in CFEM.C.element]
_degree [in CFEM.C.element]
_dR [in CFEM.C.element]
_dN [in CFEM.C.element]
_d [in CFEM.C.element]
_abort [in CFEM.C.element]
___stringlit_3 [in CFEM.C.element]
___stringlit_2 [in CFEM.C.element]
___stringlit_1 [in CFEM.C.element]
___compcert_va_int64 [in CFEM.C.element]
___compcert_va_int32 [in CFEM.C.element]
___compcert_va_float64 [in CFEM.C.element]
___compcert_va_composite [in CFEM.C.element]
___compcert_i64_utof [in CFEM.C.element]
___compcert_i64_utod [in CFEM.C.element]
___compcert_i64_umulh [in CFEM.C.element]
___compcert_i64_umod [in CFEM.C.element]
___compcert_i64_udiv [in CFEM.C.element]
___compcert_i64_stof [in CFEM.C.element]
___compcert_i64_stod [in CFEM.C.element]
___compcert_i64_smulh [in CFEM.C.element]
___compcert_i64_smod [in CFEM.C.element]
___compcert_i64_shr [in CFEM.C.element]
___compcert_i64_shl [in CFEM.C.element]
___compcert_i64_sdiv [in CFEM.C.element]
___compcert_i64_sar [in CFEM.C.element]
___compcert_i64_dtou [in CFEM.C.element]
___compcert_i64_dtos [in CFEM.C.element]
___builtin_va_start [in CFEM.C.element]
___builtin_va_end [in CFEM.C.element]
___builtin_va_copy [in CFEM.C.element]
___builtin_va_arg [in CFEM.C.element]
___builtin_unreachable [in CFEM.C.element]
___builtin_sqrt [in CFEM.C.element]
___builtin_sel [in CFEM.C.element]
___builtin_memcpy_aligned [in CFEM.C.element]
___builtin_membar [in CFEM.C.element]
___builtin_fsqrt [in CFEM.C.element]
___builtin_fnmsub [in CFEM.C.element]
___builtin_fnmadd [in CFEM.C.element]
___builtin_fmsub [in CFEM.C.element]
___builtin_fmin [in CFEM.C.element]
___builtin_fmax [in CFEM.C.element]
___builtin_fmadd [in CFEM.C.element]
___builtin_fabsf [in CFEM.C.element]
___builtin_fabs [in CFEM.C.element]
___builtin_expect [in CFEM.C.element]
___builtin_debug [in CFEM.C.element]
___builtin_ctzll [in CFEM.C.element]
___builtin_ctzl [in CFEM.C.element]
___builtin_ctz [in CFEM.C.element]
___builtin_clzll [in CFEM.C.element]
___builtin_clzl [in CFEM.C.element]
___builtin_clz [in CFEM.C.element]
___builtin_clsll [in CFEM.C.element]
___builtin_clsl [in CFEM.C.element]
___builtin_cls [in CFEM.C.element]
___builtin_bswap64 [in CFEM.C.element]
___builtin_bswap32 [in CFEM.C.element]
___builtin_bswap16 [in CFEM.C.element]
___builtin_bswap [in CFEM.C.element]
___builtin_annot_intval [in CFEM.C.element]
___builtin_annot [in CFEM.C.element]
_X [in CFEM.C.element]
_U [in CFEM.C.element]
_Re [in CFEM.C.element]
_N [in CFEM.C.element]
_Ke [in CFEM.C.element]
_J [in CFEM.C.element]
_F [in CFEM.C.element]
_t'9 [in CFEM.C.shapes]
_t'8 [in CFEM.C.shapes]
_t'7 [in CFEM.C.shapes]
_t'6 [in CFEM.C.shapes]
_t'54 [in CFEM.C.shapes]
_t'53 [in CFEM.C.shapes]
_t'52 [in CFEM.C.shapes]
_t'51 [in CFEM.C.shapes]
_t'50 [in CFEM.C.shapes]
_t'5 [in CFEM.C.shapes]
_t'49 [in CFEM.C.shapes]
_t'48 [in CFEM.C.shapes]
_t'47 [in CFEM.C.shapes]
_t'46 [in CFEM.C.shapes]
_t'45 [in CFEM.C.shapes]
_t'44 [in CFEM.C.shapes]
_t'43 [in CFEM.C.shapes]
_t'42 [in CFEM.C.shapes]
_t'41 [in CFEM.C.shapes]
_t'40 [in CFEM.C.shapes]
_t'4 [in CFEM.C.shapes]
_t'39 [in CFEM.C.shapes]
_t'38 [in CFEM.C.shapes]
_t'37 [in CFEM.C.shapes]
_t'36 [in CFEM.C.shapes]
_t'35 [in CFEM.C.shapes]
_t'34 [in CFEM.C.shapes]
_t'33 [in CFEM.C.shapes]
_t'32 [in CFEM.C.shapes]
_t'31 [in CFEM.C.shapes]
_t'30 [in CFEM.C.shapes]
_t'3 [in CFEM.C.shapes]
_t'29 [in CFEM.C.shapes]
_t'28 [in CFEM.C.shapes]
_t'27 [in CFEM.C.shapes]
_t'26 [in CFEM.C.shapes]
_t'25 [in CFEM.C.shapes]
_t'24 [in CFEM.C.shapes]
_t'23 [in CFEM.C.shapes]
_t'22 [in CFEM.C.shapes]
_t'21 [in CFEM.C.shapes]
_t'20 [in CFEM.C.shapes]
_t'2 [in CFEM.C.shapes]
_t'19 [in CFEM.C.shapes]
_t'18 [in CFEM.C.shapes]
_t'17 [in CFEM.C.shapes]
_t'16 [in CFEM.C.shapes]
_t'15 [in CFEM.C.shapes]
_t'14 [in CFEM.C.shapes]
_t'13 [in CFEM.C.shapes]
_t'12 [in CFEM.C.shapes]
_t'11 [in CFEM.C.shapes]
_t'10 [in CFEM.C.shapes]
_t'1 [in CFEM.C.shapes]
_xx [in CFEM.C.shapes]
_x [in CFEM.C.shapes]
_shapes2dT1 [in CFEM.C.shapes]
_shapes2dS2 [in CFEM.C.shapes]
_shapes2dP2 [in CFEM.C.shapes]
_shapes2dP1 [in CFEM.C.shapes]
_shapes1dP3 [in CFEM.C.shapes]
_shapes1dP2 [in CFEM.C.shapes]
_shapes1dP1 [in CFEM.C.shapes]
_main [in CFEM.C.shapes]
_densematn_set [in CFEM.C.shapes]
_densematn_get [in CFEM.C.shapes]
_dNy [in CFEM.C.shapes]
_dNx [in CFEM.C.shapes]
_dN [in CFEM.C.shapes]
___compcert_va_int64 [in CFEM.C.shapes]
___compcert_va_int32 [in CFEM.C.shapes]
___compcert_va_float64 [in CFEM.C.shapes]
___compcert_va_composite [in CFEM.C.shapes]
___compcert_i64_utof [in CFEM.C.shapes]
___compcert_i64_utod [in CFEM.C.shapes]
___compcert_i64_umulh [in CFEM.C.shapes]
___compcert_i64_umod [in CFEM.C.shapes]
___compcert_i64_udiv [in CFEM.C.shapes]
___compcert_i64_stof [in CFEM.C.shapes]
___compcert_i64_stod [in CFEM.C.shapes]
___compcert_i64_smulh [in CFEM.C.shapes]
___compcert_i64_smod [in CFEM.C.shapes]
___compcert_i64_shr [in CFEM.C.shapes]
___compcert_i64_shl [in CFEM.C.shapes]
___compcert_i64_sdiv [in CFEM.C.shapes]
___compcert_i64_sar [in CFEM.C.shapes]
___compcert_i64_dtou [in CFEM.C.shapes]
___compcert_i64_dtos [in CFEM.C.shapes]
___builtin_va_start [in CFEM.C.shapes]
___builtin_va_end [in CFEM.C.shapes]
___builtin_va_copy [in CFEM.C.shapes]
___builtin_va_arg [in CFEM.C.shapes]
___builtin_unreachable [in CFEM.C.shapes]
___builtin_sqrt [in CFEM.C.shapes]
___builtin_sel [in CFEM.C.shapes]
___builtin_memcpy_aligned [in CFEM.C.shapes]
___builtin_membar [in CFEM.C.shapes]
___builtin_fsqrt [in CFEM.C.shapes]
___builtin_fnmsub [in CFEM.C.shapes]
___builtin_fnmadd [in CFEM.C.shapes]
___builtin_fmsub [in CFEM.C.shapes]
___builtin_fmin [in CFEM.C.shapes]
___builtin_fmax [in CFEM.C.shapes]
___builtin_fmadd [in CFEM.C.shapes]
___builtin_fabsf [in CFEM.C.shapes]
___builtin_fabs [in CFEM.C.shapes]
___builtin_expect [in CFEM.C.shapes]
___builtin_debug [in CFEM.C.shapes]
___builtin_ctzll [in CFEM.C.shapes]
___builtin_ctzl [in CFEM.C.shapes]
___builtin_ctz [in CFEM.C.shapes]
___builtin_clzll [in CFEM.C.shapes]
___builtin_clzl [in CFEM.C.shapes]
___builtin_clz [in CFEM.C.shapes]
___builtin_clsll [in CFEM.C.shapes]
___builtin_clsl [in CFEM.C.shapes]
___builtin_cls [in CFEM.C.shapes]
___builtin_bswap64 [in CFEM.C.shapes]
___builtin_bswap32 [in CFEM.C.shapes]
___builtin_bswap16 [in CFEM.C.shapes]
___builtin_bswap [in CFEM.C.shapes]
___builtin_annot_intval [in CFEM.C.shapes]
___builtin_annot [in CFEM.C.shapes]
_Ny [in CFEM.C.shapes]
_Nx [in CFEM.C.shapes]
_N [in CFEM.C.shapes]
_t'3 [in CFEM.C.matrix]
_t'2 [in CFEM.C.matrix]
_t'1 [in CFEM.C.matrix]
_x [in CFEM.C.matrix]
_sqrt [in CFEM.C.matrix]
_print [in CFEM.C.matrix]
_p [in CFEM.C.matrix]
_norm2 [in CFEM.C.matrix]
_n [in CFEM.C.matrix]
_matrix_t [in CFEM.C.matrix]
_matrix_print [in CFEM.C.matrix]
_matrix_norm2 [in CFEM.C.matrix]
_matrix_norm [in CFEM.C.matrix]
_matrix_data_t [in CFEM.C.matrix]
_matrix_clear [in CFEM.C.matrix]
_matrix_add [in CFEM.C.matrix]
_main [in CFEM.C.matrix]
_m [in CFEM.C.matrix]
_j [in CFEM.C.matrix]
_init_matrix_dense [in CFEM.C.matrix]
_init_matrix_band [in CFEM.C.matrix]
_i [in CFEM.C.matrix]
_densemat_t [in CFEM.C.matrix]
_densemat_print [in CFEM.C.matrix]
_densemat_norm2 [in CFEM.C.matrix]
_densemat_clear [in CFEM.C.matrix]
_densemat_addto [in CFEM.C.matrix]
_data [in CFEM.C.matrix]
_clear [in CFEM.C.matrix]
_casted_densemat_print [in CFEM.C.matrix]
_casted_densemat_norm2 [in CFEM.C.matrix]
_casted_densemat_clear [in CFEM.C.matrix]
_casted_densemat_add [in CFEM.C.matrix]
_casted_bandmat_print [in CFEM.C.matrix]
_casted_bandmat_norm2 [in CFEM.C.matrix]
_casted_bandmat_clear [in CFEM.C.matrix]
_casted_bandmat_add [in CFEM.C.matrix]
_bandmat_t [in CFEM.C.matrix]
_bandmat_print [in CFEM.C.matrix]
_bandmat_norm2 [in CFEM.C.matrix]
_bandmat_clear [in CFEM.C.matrix]
_bandmat_addto [in CFEM.C.matrix]
_b [in CFEM.C.matrix]
_add [in CFEM.C.matrix]
___compcert_va_int64 [in CFEM.C.matrix]
___compcert_va_int32 [in CFEM.C.matrix]
___compcert_va_float64 [in CFEM.C.matrix]
___compcert_va_composite [in CFEM.C.matrix]
___compcert_i64_utof [in CFEM.C.matrix]
___compcert_i64_utod [in CFEM.C.matrix]
___compcert_i64_umulh [in CFEM.C.matrix]
___compcert_i64_umod [in CFEM.C.matrix]
___compcert_i64_udiv [in CFEM.C.matrix]
___compcert_i64_stof [in CFEM.C.matrix]
___compcert_i64_stod [in CFEM.C.matrix]
___compcert_i64_smulh [in CFEM.C.matrix]
___compcert_i64_smod [in CFEM.C.matrix]
___compcert_i64_shr [in CFEM.C.matrix]
___compcert_i64_shl [in CFEM.C.matrix]
___compcert_i64_sdiv [in CFEM.C.matrix]
___compcert_i64_sar [in CFEM.C.matrix]
___compcert_i64_dtou [in CFEM.C.matrix]
___compcert_i64_dtos [in CFEM.C.matrix]
___builtin_va_start [in CFEM.C.matrix]
___builtin_va_end [in CFEM.C.matrix]
___builtin_va_copy [in CFEM.C.matrix]
___builtin_va_arg [in CFEM.C.matrix]
___builtin_unreachable [in CFEM.C.matrix]
___builtin_sqrt [in CFEM.C.matrix]
___builtin_sel [in CFEM.C.matrix]
___builtin_memcpy_aligned [in CFEM.C.matrix]
___builtin_membar [in CFEM.C.matrix]
___builtin_fsqrt [in CFEM.C.matrix]
___builtin_fnmsub [in CFEM.C.matrix]
___builtin_fnmadd [in CFEM.C.matrix]
___builtin_fmsub [in CFEM.C.matrix]
___builtin_fmin [in CFEM.C.matrix]
___builtin_fmax [in CFEM.C.matrix]
___builtin_fmadd [in CFEM.C.matrix]
___builtin_fabsf [in CFEM.C.matrix]
___builtin_fabs [in CFEM.C.matrix]
___builtin_expect [in CFEM.C.matrix]
___builtin_debug [in CFEM.C.matrix]
___builtin_ctzll [in CFEM.C.matrix]
___builtin_ctzl [in CFEM.C.matrix]
___builtin_ctz [in CFEM.C.matrix]
___builtin_clzll [in CFEM.C.matrix]
___builtin_clzl [in CFEM.C.matrix]
___builtin_clz [in CFEM.C.matrix]
___builtin_clsll [in CFEM.C.matrix]
___builtin_clsl [in CFEM.C.matrix]
___builtin_cls [in CFEM.C.matrix]
___builtin_bswap64 [in CFEM.C.matrix]
___builtin_bswap32 [in CFEM.C.matrix]
___builtin_bswap16 [in CFEM.C.matrix]
___builtin_bswap [in CFEM.C.matrix]
___builtin_annot_intval [in CFEM.C.matrix]
___builtin_annot [in CFEM.C.matrix]
_A [in CFEM.C.matrix]
Record Index
F
FShape.shape [in CFEM.shapefloat]S
Shape.shape [in CFEM.shape]| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1433 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (20 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (122 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1223 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
This page has been generated by coqdoc