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

(1662 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

(9 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

(15 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

(79 entries)

Axiom 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)

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

(4 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)

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

(7 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

(1546 entries)

---

Global Index

A

about_reptype_ftype [lemma, in CFEM.spec_densemat]
about_the_ctype [lemma, in CFEM.spec_densemat]
alloc [library]
allocASI [definition, in CFEM.spec_alloc]
allocVSU [definition, in CFEM.verif_alloc]
alloc_internal_specs [definition, in CFEM.verif_alloc]
alloc_imported_specs [definition, in CFEM.verif_alloc]
alloc_E [definition, in CFEM.verif_alloc]
all_nth_eq [lemma, in CFEM.floatlib]
assemble [library]

B

backward_subst [definition, in CFEM.matrix_model]
backward_subst_step [definition, in CFEM.matrix_model]
bandmat [library]
blocksolve_spec [definition, in CFEM.spec_densemat]
body_double_clear [lemma, in CFEM.verif_alloc]
body_int_calloc [lemma, in CFEM.verif_alloc]
body_double_calloc [lemma, in CFEM.verif_alloc]
body_surely_malloc [lemma, in CFEM.verif_alloc]
body_exit [axiom, in CFEM.verif_alloc]
body_densemat_csolve [lemma, in CFEM.verif_densemat]
body_densematn_csolve [lemma, in CFEM.verif_densemat]
body_densemat_cfactor [lemma, in CFEM.verif_densemat]
body_densematn_cfactor [lemma, in CFEM.verif_densemat]
body_densemat_norm [lemma, in CFEM.verif_densemat]
body_densemat_norm2 [lemma, in CFEM.verif_densemat]
body_data_norm [lemma, in CFEM.verif_densemat]
body_data_norm2 [lemma, in CFEM.verif_densemat]
body_densemat_addto [lemma, in CFEM.verif_densemat]
body_densematn_addto [lemma, in CFEM.verif_densemat]
body_densemat_set [lemma, in CFEM.verif_densemat]
body_densematn_set [lemma, in CFEM.verif_densemat]
body_densemat_get [lemma, in CFEM.verif_densemat]
body_densematn_get [lemma, in CFEM.verif_densemat]
body_densemat_clear [lemma, in CFEM.verif_densemat]
body_densematn_clear [lemma, in CFEM.verif_densemat]
body_densemat_free [lemma, in CFEM.verif_densemat]
body_densemat_malloc [lemma, in CFEM.verif_densemat]

C

change_composite_env_alloc' [instance, in CFEM.verif_densemat]
change_composite_env_alloc [instance, in CFEM.verif_densemat]
check_densemat_layout [lemma, in CFEM.spec_densemat]
cholesky_jik_upto_newrow [lemma, in CFEM.matrix_model]
cholesky_jik_upto_zero [lemma, in CFEM.matrix_model]
cholesky_jik_ij' [definition, in CFEM.matrix_model]
cholesky_jik_upto [definition, in CFEM.matrix_model]
cholesky_jik_spec [definition, in CFEM.matrix_model]
cholesky_jik_ij [definition, in CFEM.matrix_model]
column_major [definition, in CFEM.spec_densemat]
column_major_const [lemma, in CFEM.verif_densemat]
composites [definition, in CFEM.bandmat]
composites [definition, in CFEM.shapes]
composites [definition, in CFEM.assemble]
composites [definition, in CFEM.quadrules]
composites [definition, in CFEM.fem]
composites [definition, in CFEM.element]
composites [definition, in CFEM.alloc]
composites [definition, in CFEM.densemat]
composites [definition, in CFEM.mesh]
CompSpecs [instance, in CFEM.spec_densemat]
CompSpecs [instance, in CFEM.spec_alloc]
ctype_of_the_type [lemma, in CFEM.spec_densemat]
ctype_of_type [definition, in CFEM.spec_densemat]

D

data_norm_spec [definition, in CFEM.spec_densemat]
data_norm2_spec [definition, in CFEM.spec_densemat]
densemat [definition, in CFEM.spec_densemat]
densemat [library]
densematASI [definition, in CFEM.spec_densemat]
densematn [definition, in CFEM.spec_densemat]
densematn_cfactor_outer_spec [definition, in CFEM.spec_densemat]
densematn_cfactor_block_spec [definition, in CFEM.spec_densemat]
densematn_lusolveT_spec [definition, in CFEM.spec_densemat]
densematn_lufactor_spec [definition, in CFEM.spec_densemat]
densematn_lusolve_spec [definition, in CFEM.spec_densemat]
densematn_print_spec [definition, in CFEM.spec_densemat]
densematn_lujac_spec [definition, in CFEM.spec_densemat]
densematn_csolve_spec [definition, in CFEM.spec_densemat]
densematn_cfactor_spec [definition, in CFEM.spec_densemat]
densematn_addto_spec [definition, in CFEM.spec_densemat]
densematn_set_spec [definition, in CFEM.spec_densemat]
densematn_get_spec [definition, in CFEM.spec_densemat]
densematn_clear_spec [definition, in CFEM.spec_densemat]
densematn_valid_pointer [lemma, in CFEM.spec_densemat]
densematn_local_facts [definition, in CFEM.spec_densemat]
densematVSU [definition, in CFEM.verif_densemat]
densemat_lusolveT_spec [definition, in CFEM.spec_densemat]
densemat_lufactor_spec [definition, in CFEM.spec_densemat]
densemat_lusolve_spec [definition, in CFEM.spec_densemat]
densemat_print_spec [definition, in CFEM.spec_densemat]
densemat_lujac_spec [definition, in CFEM.spec_densemat]
densemat_csolve_spec [definition, in CFEM.spec_densemat]
densemat_cfactor_spec [definition, in CFEM.spec_densemat]
densemat_norm_spec [definition, in CFEM.spec_densemat]
densemat_norm2_spec [definition, in CFEM.spec_densemat]
densemat_addto_spec [definition, in CFEM.spec_densemat]
densemat_set_spec [definition, in CFEM.spec_densemat]
densemat_get_spec [definition, in CFEM.spec_densemat]
densemat_clear_spec [definition, in CFEM.spec_densemat]
densemat_free_spec [definition, in CFEM.spec_densemat]
densemat_malloc_spec [definition, in CFEM.spec_densemat]
densemat_valid_pointer [lemma, in CFEM.spec_densemat]
densemat_local_facts [definition, in CFEM.spec_densemat]
densemat_data_offset [definition, in CFEM.spec_densemat]
densemat_t [definition, in CFEM.spec_densemat]
densemat_field_compat0 [lemma, in CFEM.verif_densemat]
densemat_internal_specs [definition, in CFEM.verif_densemat]
densemat_imported_specs [definition, in CFEM.verif_densemat]
densemat_E [definition, in CFEM.verif_densemat]
dotprod [definition, in CFEM.floatlib]
dotprod_congr [lemma, in CFEM.floatlib]
double_clear_spec [definition, in CFEM.spec_alloc]
double_calloc_spec [definition, in CFEM.spec_alloc]
drop_sublist [lemma, in CFEM.verif_densemat]

E

element [library]
eq_in_subrange [lemma, in CFEM.matrix_model]
exit_spec [definition, in CFEM.spec_alloc]

F

faster_matrix_transpose_correct [lemma, in CFEM.floatlib]
faster_matrix_transpose [definition, in CFEM.floatlib]
faster_transpose' [definition, in CFEM.floatlib]
fem [library]
finite_norm2_e [lemma, in CFEM.floatlib]
finite_dotprod_e [lemma, in CFEM.floatlib]
firstn_seq [lemma, in CFEM.verif_densemat]
floatlib [library]
fold_left_preserves [lemma, in CFEM.verif_densemat]
forward_subst [definition, in CFEM.matrix_model]
forward_subst_step [definition, in CFEM.matrix_model]
frobenius_norm [definition, in CFEM.spec_densemat]
frobenius_norm2 [definition, in CFEM.spec_densemat]
f_bandmat_norm [definition, in CFEM.bandmat]
f_bandmat_norm2 [definition, in CFEM.bandmat]
f_bandmat_solve [definition, in CFEM.bandmat]
f_bandmat_factor [definition, in CFEM.bandmat]
f_bandmat_print [definition, in CFEM.bandmat]
f_dense_to_band [definition, in CFEM.bandmat]
f_bandmat_addto [definition, in CFEM.bandmat]
f_bandmat_set [definition, in CFEM.bandmat]
f_bandmat_get [definition, in CFEM.bandmat]
f_bandmatn_addto [definition, in CFEM.bandmat]
f_bandmatn_set [definition, in CFEM.bandmat]
f_bandmatn_get [definition, in CFEM.bandmat]
f_bandmat_clear [definition, in CFEM.bandmat]
f_bandmatn_clear [definition, in CFEM.bandmat]
f_bandmat_free [definition, in CFEM.bandmat]
f_bandmat_malloc [definition, in CFEM.bandmat]
f_shapes2dT1 [definition, in CFEM.shapes]
f_shapes2dS2 [definition, in CFEM.shapes]
f_shapes2dP2 [definition, in CFEM.shapes]
f_shapes2dP1 [definition, in CFEM.shapes]
f_shapes1dP3 [definition, in CFEM.shapes]
f_shapes1dP2 [definition, in CFEM.shapes]
f_shapes1dP1 [definition, in CFEM.shapes]
f_assemble_vector [definition, in CFEM.assemble]
f_assemble_bandmat_add [definition, in CFEM.assemble]
f_assemble_dense_add [definition, in CFEM.assemble]
f_init_assemble_band [definition, in CFEM.assemble]
f_casted_bandmat_print [definition, in CFEM.assemble]
f_casted_bandmat_norm2 [definition, in CFEM.assemble]
f_casted_bandmat_clear [definition, in CFEM.assemble]
f_init_assemble_dense [definition, in CFEM.assemble]
f_casted_densemat_print [definition, in CFEM.assemble]
f_casted_densemat_norm2 [definition, in CFEM.assemble]
f_casted_densemat_clear [definition, in CFEM.assemble]
f_assemble_print [definition, in CFEM.assemble]
f_assemble_norm [definition, in CFEM.assemble]
f_assemble_norm2 [definition, in CFEM.assemble]
f_assemble_clear [definition, in CFEM.assemble]
f_assemble_add [definition, in CFEM.assemble]
f_hughes_weight [definition, in CFEM.quadrules]
f_hughes_point [definition, in CFEM.quadrules]
f_gauss2d_weight [definition, in CFEM.quadrules]
f_gauss2d_point [definition, in CFEM.quadrules]
f_gauss2d_npoint1d [definition, in CFEM.quadrules]
f_gauss_weight [definition, in CFEM.quadrules]
f_gauss_point [definition, in CFEM.quadrules]
f_fem_print [definition, in CFEM.fem]
f_fem_assemble_dense [definition, in CFEM.fem]
f_fem_assemble_band [definition, in CFEM.fem]
f_fem_assemble [definition, in CFEM.fem]
f_fem_set_load [definition, in CFEM.fem]
f_fem_update_U [definition, in CFEM.fem]
f_fem_assign_ids [definition, in CFEM.fem]
f_fem_free [definition, in CFEM.fem]
f_fem_malloc [definition, in CFEM.fem]
f_poisson2d_elt_dR [definition, in CFEM.element]
f_get_quad2d [definition, in CFEM.element]
f_poisson1d_elt_dR [definition, in CFEM.element]
f_simple_elt_free [definition, in CFEM.element]
f_malloc_poisson2d_element [definition, in CFEM.element]
f_malloc_poisson1d_element [definition, in CFEM.element]
f_element_free [definition, in CFEM.element]
f_element_dR [definition, in CFEM.element]
f_int_calloc [definition, in CFEM.alloc]
f_double_calloc [definition, in CFEM.alloc]
f_double_clear [definition, in CFEM.alloc]
f_surely_malloc [definition, in CFEM.alloc]
f_densemat_norm [definition, in CFEM.densemat]
f_densemat_norm2 [definition, in CFEM.densemat]
f_data_norm [definition, in CFEM.densemat]
f_data_norm2 [definition, in CFEM.densemat]
f_densemat_lujac [definition, in CFEM.densemat]
f_densemat_lusolveT [definition, in CFEM.densemat]
f_densemat_lusolve [definition, in CFEM.densemat]
f_densemat_lufactor [definition, in CFEM.densemat]
f_densematn_lujac [definition, in CFEM.densemat]
f_densematn_lusolveT [definition, in CFEM.densemat]
f_densematn_lusolve [definition, in CFEM.densemat]
f_densematn_lufactor [definition, in CFEM.densemat]
f_densemat_csolve [definition, in CFEM.densemat]
f_densematn_csolve [definition, in CFEM.densemat]
f_densemat_cfactor [definition, in CFEM.densemat]
f_densematn_cfactor_block [definition, in CFEM.densemat]
f_subtractoff [definition, in CFEM.densemat]
f_blocksolve [definition, in CFEM.densemat]
f_densematn_cfactor_outer [definition, in CFEM.densemat]
f_densematn_cfactor [definition, in CFEM.densemat]
f_densemat_print [definition, in CFEM.densemat]
f_densematn_print [definition, in CFEM.densemat]
f_densemat_addto [definition, in CFEM.densemat]
f_densemat_set [definition, in CFEM.densemat]
f_densemat_get [definition, in CFEM.densemat]
f_densematn_addto [definition, in CFEM.densemat]
f_densematn_set [definition, in CFEM.densemat]
f_densematn_get [definition, in CFEM.densemat]
f_densemat_clear [definition, in CFEM.densemat]
f_densematn_clear [definition, in CFEM.densemat]
f_densemat_free [definition, in CFEM.densemat]
f_densemat_malloc [definition, in CFEM.densemat]
f_mesh_print [definition, in CFEM.mesh]
f_mesh_print_elt [definition, in CFEM.mesh]
f_mesh_print_nodes [definition, in CFEM.mesh]
f_mesh_shapes [definition, in CFEM.mesh]
f_mesh_to_spatial [definition, in CFEM.mesh]
f_mesh_block2d_T1 [definition, in CFEM.mesh]
f_mesh_block2d_S2 [definition, in CFEM.mesh]
f_mesh_block2d_P2 [definition, in CFEM.mesh]
f_mesh_block2d_P1 [definition, in CFEM.mesh]
f_mesh_create1d [definition, in CFEM.mesh]
f_mesh_free [definition, in CFEM.mesh]
f_mesh_malloc [definition, in CFEM.mesh]

G

global_definitions [definition, in CFEM.bandmat]
global_definitions [definition, in CFEM.shapes]
global_definitions [definition, in CFEM.assemble]
global_definitions [definition, in CFEM.quadrules]
global_definitions [definition, in CFEM.fem]
global_definitions [definition, in CFEM.element]
global_definitions [definition, in CFEM.alloc]
global_definitions [definition, in CFEM.densemat]
global_definitions [definition, in CFEM.mesh]
Gprog [definition, in CFEM.verif_alloc]
Gprog [definition, in CFEM.verif_densemat]

I

Info [module, in CFEM.bandmat]
Info [module, in CFEM.shapes]
Info [module, in CFEM.assemble]
Info [module, in CFEM.quadrules]
Info [module, in CFEM.fem]
Info [module, in CFEM.element]
Info [module, in CFEM.alloc]
Info [module, in CFEM.densemat]
Info [module, in CFEM.mesh]
Info.abi [definition, in CFEM.bandmat]
Info.abi [definition, in CFEM.shapes]
Info.abi [definition, in CFEM.assemble]
Info.abi [definition, in CFEM.quadrules]
Info.abi [definition, in CFEM.fem]
Info.abi [definition, in CFEM.element]
Info.abi [definition, in CFEM.alloc]
Info.abi [definition, in CFEM.densemat]
Info.abi [definition, in CFEM.mesh]
Info.arch [definition, in CFEM.bandmat]
Info.arch [definition, in CFEM.shapes]
Info.arch [definition, in CFEM.assemble]
Info.arch [definition, in CFEM.quadrules]
Info.arch [definition, in CFEM.fem]
Info.arch [definition, in CFEM.element]
Info.arch [definition, in CFEM.alloc]
Info.arch [definition, in CFEM.densemat]
Info.arch [definition, in CFEM.mesh]
Info.big_endian [definition, in CFEM.bandmat]
Info.big_endian [definition, in CFEM.shapes]
Info.big_endian [definition, in CFEM.assemble]
Info.big_endian [definition, in CFEM.quadrules]
Info.big_endian [definition, in CFEM.fem]
Info.big_endian [definition, in CFEM.element]
Info.big_endian [definition, in CFEM.alloc]
Info.big_endian [definition, in CFEM.densemat]
Info.big_endian [definition, in CFEM.mesh]
Info.bitsize [definition, in CFEM.bandmat]
Info.bitsize [definition, in CFEM.shapes]
Info.bitsize [definition, in CFEM.assemble]
Info.bitsize [definition, in CFEM.quadrules]
Info.bitsize [definition, in CFEM.fem]
Info.bitsize [definition, in CFEM.element]
Info.bitsize [definition, in CFEM.alloc]
Info.bitsize [definition, in CFEM.densemat]
Info.bitsize [definition, in CFEM.mesh]
Info.build_branch [definition, in CFEM.bandmat]
Info.build_tag [definition, in CFEM.bandmat]
Info.build_number [definition, in CFEM.bandmat]
Info.build_branch [definition, in CFEM.shapes]
Info.build_tag [definition, in CFEM.shapes]
Info.build_number [definition, in CFEM.shapes]
Info.build_branch [definition, in CFEM.assemble]
Info.build_tag [definition, in CFEM.assemble]
Info.build_number [definition, in CFEM.assemble]
Info.build_branch [definition, in CFEM.quadrules]
Info.build_tag [definition, in CFEM.quadrules]
Info.build_number [definition, in CFEM.quadrules]
Info.build_branch [definition, in CFEM.fem]
Info.build_tag [definition, in CFEM.fem]
Info.build_number [definition, in CFEM.fem]
Info.build_branch [definition, in CFEM.element]
Info.build_tag [definition, in CFEM.element]
Info.build_number [definition, in CFEM.element]
Info.build_branch [definition, in CFEM.alloc]
Info.build_tag [definition, in CFEM.alloc]
Info.build_number [definition, in CFEM.alloc]
Info.build_branch [definition, in CFEM.densemat]
Info.build_tag [definition, in CFEM.densemat]
Info.build_number [definition, in CFEM.densemat]
Info.build_branch [definition, in CFEM.mesh]
Info.build_tag [definition, in CFEM.mesh]
Info.build_number [definition, in CFEM.mesh]
Info.model [definition, in CFEM.bandmat]
Info.model [definition, in CFEM.shapes]
Info.model [definition, in CFEM.assemble]
Info.model [definition, in CFEM.quadrules]
Info.model [definition, in CFEM.fem]
Info.model [definition, in CFEM.element]
Info.model [definition, in CFEM.alloc]
Info.model [definition, in CFEM.densemat]
Info.model [definition, in CFEM.mesh]
Info.normalized [definition, in CFEM.bandmat]
Info.normalized [definition, in CFEM.shapes]
Info.normalized [definition, in CFEM.assemble]
Info.normalized [definition, in CFEM.quadrules]
Info.normalized [definition, in CFEM.fem]
Info.normalized [definition, in CFEM.element]
Info.normalized [definition, in CFEM.alloc]
Info.normalized [definition, in CFEM.densemat]
Info.normalized [definition, in CFEM.mesh]
Info.source_file [definition, in CFEM.bandmat]
Info.source_file [definition, in CFEM.shapes]
Info.source_file [definition, in CFEM.assemble]
Info.source_file [definition, in CFEM.quadrules]
Info.source_file [definition, in CFEM.fem]
Info.source_file [definition, in CFEM.element]
Info.source_file [definition, in CFEM.alloc]
Info.source_file [definition, in CFEM.densemat]
Info.source_file [definition, in CFEM.mesh]
Info.version [definition, in CFEM.bandmat]
Info.version [definition, in CFEM.shapes]
Info.version [definition, in CFEM.assemble]
Info.version [definition, in CFEM.quadrules]
Info.version [definition, in CFEM.fem]
Info.version [definition, in CFEM.element]
Info.version [definition, in CFEM.alloc]
Info.version [definition, in CFEM.densemat]
Info.version [definition, in CFEM.mesh]
int_calloc_spec [definition, in CFEM.spec_alloc]
in_sublist_ord_enum [lemma, in CFEM.verif_densemat]
in_take_ord_enum [lemma, in CFEM.matrix_model]

J

joinLU [definition, in CFEM.matrix_model]

L

length_ord_enum [lemma, in CFEM.matrix_model]
lshift1 [definition, in CFEM.matrix_model]

M

Malloc [instance, in CFEM.spec_alloc]
map_const_ord_enum [lemma, in CFEM.verif_densemat]
map2 [definition, in CFEM.floatlib]
matrix [definition, in CFEM.floatlib]
matrix_by_index_prop [lemma, in CFEM.floatlib]
matrix_index_prop [lemma, in CFEM.floatlib]
matrix_extensionality [lemma, in CFEM.floatlib]
matrix_extensionality_strong [lemma, in CFEM.floatlib]
matrix_by_index_index [lemma, in CFEM.floatlib]
matrix_by_index_cols [lemma, in CFEM.floatlib]
matrix_transpose [definition, in CFEM.floatlib]
matrix_by_index_rows [lemma, in CFEM.floatlib]
matrix_cols_nat [definition, in CFEM.floatlib]
matrix_rows_nat [definition, in CFEM.floatlib]
matrix_by_index [definition, in CFEM.floatlib]
matrix_index [definition, in CFEM.floatlib]
matrix_add [definition, in CFEM.floatlib]
matrix_rows [definition, in CFEM.floatlib]
matrix_cols [definition, in CFEM.floatlib]
matrix_matrix_mult [definition, in CFEM.floatlib]
matrix_vector_mult [definition, in CFEM.floatlib]
matrix_model [library]
mesh [library]
mirror_UT [definition, in CFEM.matrix_model]

N

nan_pl_1 [lemma, in CFEM.spec_densemat]
nan1 [definition, in CFEM.spec_densemat]
neg_zero [definition, in CFEM.matrix_model]
norm2 [definition, in CFEM.floatlib]
norm2_loose_congr [lemma, in CFEM.floatlib]
norm2_congr [lemma, in CFEM.floatlib]
norm2_snoc [lemma, in CFEM.floatlib]
nth_seq_nth [lemma, in CFEM.verif_densemat]
nth_ord_enum' [lemma, in CFEM.matrix_model]
nth_map_inrange [lemma, in CFEM.floatlib]
nth_map_seq [lemma, in CFEM.floatlib]

O

opp_matrix [definition, in CFEM.floatlib]
optfloat_to_float [definition, in CFEM.spec_densemat]

P

prog [definition, in CFEM.bandmat]
prog [definition, in CFEM.shapes]
prog [definition, in CFEM.assemble]
prog [definition, in CFEM.quadrules]
prog [definition, in CFEM.fem]
prog [definition, in CFEM.element]
prog [definition, in CFEM.alloc]
prog [definition, in CFEM.densemat]
prog [definition, in CFEM.mesh]
public_idents [definition, in CFEM.bandmat]
public_idents [definition, in CFEM.shapes]
public_idents [definition, in CFEM.assemble]
public_idents [definition, in CFEM.quadrules]
public_idents [definition, in CFEM.fem]
public_idents [definition, in CFEM.element]
public_idents [definition, in CFEM.alloc]
public_idents [definition, in CFEM.densemat]
public_idents [definition, in CFEM.mesh]

Q

quadrules [library]

R

reptype_ftype [definition, in CFEM.spec_densemat]

S

seq_rev_rev [lemma, in CFEM.verif_densemat]
shapes [library]
size_ord_enum [lemma, in CFEM.matrix_model]
spec_densemat [library]
spec_alloc [library]
subtractoff_spec [definition, in CFEM.spec_densemat]
subtract_another [lemma, in CFEM.matrix_model]
subtract_loop' [definition, in CFEM.matrix_model]
subtract_loop [definition, in CFEM.matrix_model]
sum_any_sind [definition, in CFEM.matrix_model]
sum_any_ind [definition, in CFEM.matrix_model]
Sum_Any_perm [constructor, in CFEM.matrix_model]
Sum_Any_split [constructor, in CFEM.matrix_model]
Sum_Any_1 [constructor, in CFEM.matrix_model]
Sum_Any_0 [constructor, in CFEM.matrix_model]
sum_any [inductive, in CFEM.matrix_model]
surely_malloc_spec_sub [lemma, in CFEM.spec_alloc]
surely_malloc_spec [definition, in CFEM.spec_alloc]
surely_malloc_spec' [definition, in CFEM.spec_alloc]

T

take_sublist [lemma, in CFEM.verif_densemat]
take_snoc [lemma, in CFEM.matrix_model]
the_type [definition, in CFEM.spec_densemat]
the_ctype [definition, in CFEM.spec_densemat]

U

update_i_lt_j [lemma, in CFEM.matrix_model]
update_i_lt_j_aux [lemma, in CFEM.matrix_model]
update_mx [definition, in CFEM.matrix_model]
upd_Znth_column_major [lemma, in CFEM.verif_densemat]

V

val_of_optfloat [definition, in CFEM.spec_densemat]
val_of_float [definition, in CFEM.spec_densemat]
val_of_optfloat_column_major [lemma, in CFEM.verif_densemat]
vector [definition, in CFEM.floatlib]
vector_sub_congr [lemma, in CFEM.floatlib]
vector_sub [definition, in CFEM.floatlib]
vector_add [definition, in CFEM.floatlib]
verif_densemat [library]
verif_alloc [library]
Vprog [definition, in CFEM.spec_densemat]
Vprog [definition, in CFEM.spec_alloc]
v___stringlit_4 [definition, in CFEM.bandmat]
v___stringlit_2 [definition, in CFEM.bandmat]
v___stringlit_5 [definition, in CFEM.bandmat]
v___stringlit_1 [definition, in CFEM.bandmat]
v___stringlit_3 [definition, in CFEM.bandmat]
v___stringlit_3 [definition, in CFEM.assemble]
v___stringlit_1 [definition, in CFEM.assemble]
v___stringlit_2 [definition, in CFEM.assemble]
v___stderrp [definition, in CFEM.quadrules]
v___stringlit_2 [definition, in CFEM.quadrules]
v___stringlit_1 [definition, in CFEM.quadrules]
v___stringlit_2 [definition, in CFEM.fem]
v___stringlit_1 [definition, in CFEM.fem]
v___stringlit_9 [definition, in CFEM.fem]
v___stringlit_3 [definition, in CFEM.fem]
v___stringlit_5 [definition, in CFEM.fem]
v___stringlit_6 [definition, in CFEM.fem]
v___stringlit_4 [definition, in CFEM.fem]
v___stringlit_7 [definition, in CFEM.fem]
v___stringlit_8 [definition, in CFEM.fem]
v___stringlit_1 [definition, in CFEM.element]
v___stringlit_3 [definition, in CFEM.element]
v___stringlit_2 [definition, in CFEM.element]
v___stringlit_2 [definition, in CFEM.densemat]
v___stringlit_5 [definition, in CFEM.densemat]
v___stringlit_3 [definition, in CFEM.densemat]
v___stringlit_7 [definition, in CFEM.densemat]
v___stringlit_6 [definition, in CFEM.densemat]
v___stringlit_4 [definition, in CFEM.densemat]
v___stringlit_1 [definition, in CFEM.densemat]
v___stringlit_12 [definition, in CFEM.mesh]
v___stringlit_8 [definition, in CFEM.mesh]
v___stringlit_5 [definition, in CFEM.mesh]
v___stringlit_1 [definition, in CFEM.mesh]
v___stringlit_6 [definition, in CFEM.mesh]
v___stringlit_7 [definition, in CFEM.mesh]
v___stringlit_3 [definition, in CFEM.mesh]
v___stringlit_2 [definition, in CFEM.mesh]
v___stringlit_10 [definition, in CFEM.mesh]
v___stringlit_4 [definition, in CFEM.mesh]
v___stringlit_9 [definition, in CFEM.mesh]
v___stringlit_11 [definition, in CFEM.mesh]

Z

zerof [instance, in CFEM.matrix_model]
zerof [instance, in CFEM.floatlib]
Zlength_column_major [lemma, in CFEM.verif_densemat]
Zlength_ord_enum [lemma, in CFEM.verif_densemat]
Zlength_seq [lemma, in CFEM.floatlib]
Zmatrix_rows_nat [lemma, in CFEM.floatlib]
Zmatrix_cols_nat [lemma, in CFEM.floatlib]
Znth_column_major [lemma, in CFEM.verif_densemat]
Znth_ord_enum [lemma, in CFEM.verif_densemat]
Znth_vector_sub [lemma, in CFEM.floatlib]

_

_t'9 [definition, in CFEM.bandmat]
_t'8 [definition, in CFEM.bandmat]
_t'7 [definition, in CFEM.bandmat]
_t'6 [definition, in CFEM.bandmat]
_t'5 [definition, in CFEM.bandmat]
_t'4 [definition, in CFEM.bandmat]
_t'3 [definition, in CFEM.bandmat]
_t'2 [definition, in CFEM.bandmat]
_t'1 [definition, in CFEM.bandmat]
_yi [definition, in CFEM.bandmat]
_x [definition, in CFEM.bandmat]
_vm [definition, in CFEM.bandmat]
_surely_malloc [definition, in CFEM.bandmat]
_sqrt [definition, in CFEM.bandmat]
_rows [definition, in CFEM.bandmat]
_printf [definition, in CFEM.bandmat]
_n [definition, in CFEM.bandmat]
_memset [definition, in CFEM.bandmat]
_main [definition, in CFEM.bandmat]
_m [definition, in CFEM.bandmat]
_k [definition, in CFEM.bandmat]
_j__1 [definition, in CFEM.bandmat]
_j [definition, in CFEM.bandmat]
_i__1 [definition, in CFEM.bandmat]
_i [definition, in CFEM.bandmat]
_free [definition, in CFEM.bandmat]
_dm [definition, in CFEM.bandmat]
_dj [definition, in CFEM.bandmat]
_densemat_t [definition, in CFEM.bandmat]
_densemat_get [definition, in CFEM.bandmat]
_dense_to_band [definition, in CFEM.bandmat]
_data_norm2 [definition, in CFEM.bandmat]
_data_norm [definition, in CFEM.bandmat]
_data [definition, in CFEM.bandmat]
_d [definition, in CFEM.bandmat]
_bw [definition, in CFEM.bandmat]
_bi [definition, in CFEM.bandmat]
_bandmatn_set [definition, in CFEM.bandmat]
_bandmatn_get [definition, in CFEM.bandmat]
_bandmatn_clear [definition, in CFEM.bandmat]
_bandmatn_addto [definition, in CFEM.bandmat]
_bandmat_t [definition, in CFEM.bandmat]
_bandmat_solve [definition, in CFEM.bandmat]
_bandmat_set [definition, in CFEM.bandmat]
_bandmat_print [definition, in CFEM.bandmat]
_bandmat_norm2 [definition, in CFEM.bandmat]
_bandmat_norm [definition, in CFEM.bandmat]
_bandmat_malloc [definition, in CFEM.bandmat]
_bandmat_get [definition, in CFEM.bandmat]
_bandmat_free [definition, in CFEM.bandmat]
_bandmat_factor [definition, in CFEM.bandmat]
_bandmat_clear [definition, in CFEM.bandmat]
_bandmat_addto [definition, in CFEM.bandmat]
_b [definition, in CFEM.bandmat]
_abort [definition, in CFEM.bandmat]
___stringlit_5 [definition, in CFEM.bandmat]
___stringlit_4 [definition, in CFEM.bandmat]
___stringlit_3 [definition, in CFEM.bandmat]
___stringlit_2 [definition, in CFEM.bandmat]
___stringlit_1 [definition, in CFEM.bandmat]
___compcert_va_int64 [definition, in CFEM.bandmat]
___compcert_va_int32 [definition, in CFEM.bandmat]
___compcert_va_float64 [definition, in CFEM.bandmat]
___compcert_va_composite [definition, in CFEM.bandmat]
___compcert_i64_utof [definition, in CFEM.bandmat]
___compcert_i64_utod [definition, in CFEM.bandmat]
___compcert_i64_umulh [definition, in CFEM.bandmat]
___compcert_i64_umod [definition, in CFEM.bandmat]
___compcert_i64_udiv [definition, in CFEM.bandmat]
___compcert_i64_stof [definition, in CFEM.bandmat]
___compcert_i64_stod [definition, in CFEM.bandmat]
___compcert_i64_smulh [definition, in CFEM.bandmat]
___compcert_i64_smod [definition, in CFEM.bandmat]
___compcert_i64_shr [definition, in CFEM.bandmat]
___compcert_i64_shl [definition, in CFEM.bandmat]
___compcert_i64_sdiv [definition, in CFEM.bandmat]
___compcert_i64_sar [definition, in CFEM.bandmat]
___compcert_i64_dtou [definition, in CFEM.bandmat]
___compcert_i64_dtos [definition, in CFEM.bandmat]
___builtin_va_start [definition, in CFEM.bandmat]
___builtin_va_end [definition, in CFEM.bandmat]
___builtin_va_copy [definition, in CFEM.bandmat]
___builtin_va_arg [definition, in CFEM.bandmat]
___builtin_unreachable [definition, in CFEM.bandmat]
___builtin_sqrt [definition, in CFEM.bandmat]
___builtin_sel [definition, in CFEM.bandmat]
___builtin_memcpy_aligned [definition, in CFEM.bandmat]
___builtin_membar [definition, in CFEM.bandmat]
___builtin_fsqrt [definition, in CFEM.bandmat]
___builtin_fnmsub [definition, in CFEM.bandmat]
___builtin_fnmadd [definition, in CFEM.bandmat]
___builtin_fmsub [definition, in CFEM.bandmat]
___builtin_fmin [definition, in CFEM.bandmat]
___builtin_fmax [definition, in CFEM.bandmat]
___builtin_fmadd [definition, in CFEM.bandmat]
___builtin_fabsf [definition, in CFEM.bandmat]
___builtin_fabs [definition, in CFEM.bandmat]
___builtin_expect [definition, in CFEM.bandmat]
___builtin_debug [definition, in CFEM.bandmat]
___builtin_ctzll [definition, in CFEM.bandmat]
___builtin_ctzl [definition, in CFEM.bandmat]
___builtin_ctz [definition, in CFEM.bandmat]
___builtin_clzll [definition, in CFEM.bandmat]
___builtin_clzl [definition, in CFEM.bandmat]
___builtin_clz [definition, in CFEM.bandmat]
___builtin_clsll [definition, in CFEM.bandmat]
___builtin_clsl [definition, in CFEM.bandmat]
___builtin_cls [definition, in CFEM.bandmat]
___builtin_bswap64 [definition, in CFEM.bandmat]
___builtin_bswap32 [definition, in CFEM.bandmat]
___builtin_bswap16 [definition, in CFEM.bandmat]
___builtin_bswap [definition, in CFEM.bandmat]
___builtin_annot_intval [definition, in CFEM.bandmat]
___builtin_annot [definition, in CFEM.bandmat]
_PR [definition, in CFEM.bandmat]
_PA [definition, in CFEM.bandmat]
_P [definition, in CFEM.bandmat]
_A [definition, in CFEM.bandmat]
_t'9 [definition, in CFEM.shapes]
_t'8 [definition, in CFEM.shapes]
_t'7 [definition, in CFEM.shapes]
_t'6 [definition, in CFEM.shapes]
_t'54 [definition, in CFEM.shapes]
_t'53 [definition, in CFEM.shapes]
_t'52 [definition, in CFEM.shapes]
_t'51 [definition, in CFEM.shapes]
_t'50 [definition, in CFEM.shapes]
_t'5 [definition, in CFEM.shapes]
_t'49 [definition, in CFEM.shapes]
_t'48 [definition, in CFEM.shapes]
_t'47 [definition, in CFEM.shapes]
_t'46 [definition, in CFEM.shapes]
_t'45 [definition, in CFEM.shapes]
_t'44 [definition, in CFEM.shapes]
_t'43 [definition, in CFEM.shapes]
_t'42 [definition, in CFEM.shapes]
_t'41 [definition, in CFEM.shapes]
_t'40 [definition, in CFEM.shapes]
_t'4 [definition, in CFEM.shapes]
_t'39 [definition, in CFEM.shapes]
_t'38 [definition, in CFEM.shapes]
_t'37 [definition, in CFEM.shapes]
_t'36 [definition, in CFEM.shapes]
_t'35 [definition, in CFEM.shapes]
_t'34 [definition, in CFEM.shapes]
_t'33 [definition, in CFEM.shapes]
_t'32 [definition, in CFEM.shapes]
_t'31 [definition, in CFEM.shapes]
_t'30 [definition, in CFEM.shapes]
_t'3 [definition, in CFEM.shapes]
_t'29 [definition, in CFEM.shapes]
_t'28 [definition, in CFEM.shapes]
_t'27 [definition, in CFEM.shapes]
_t'26 [definition, in CFEM.shapes]
_t'25 [definition, in CFEM.shapes]
_t'24 [definition, in CFEM.shapes]
_t'23 [definition, in CFEM.shapes]
_t'22 [definition, in CFEM.shapes]
_t'21 [definition, in CFEM.shapes]
_t'20 [definition, in CFEM.shapes]
_t'2 [definition, in CFEM.shapes]
_t'19 [definition, in CFEM.shapes]
_t'18 [definition, in CFEM.shapes]
_t'17 [definition, in CFEM.shapes]
_t'16 [definition, in CFEM.shapes]
_t'15 [definition, in CFEM.shapes]
_t'14 [definition, in CFEM.shapes]
_t'13 [definition, in CFEM.shapes]
_t'12 [definition, in CFEM.shapes]
_t'11 [definition, in CFEM.shapes]
_t'10 [definition, in CFEM.shapes]
_t'1 [definition, in CFEM.shapes]
_xx [definition, in CFEM.shapes]
_x [definition, in CFEM.shapes]
_shapes2dT1 [definition, in CFEM.shapes]
_shapes2dS2 [definition, in CFEM.shapes]
_shapes2dP2 [definition, in CFEM.shapes]
_shapes2dP1 [definition, in CFEM.shapes]
_shapes1dP3 [definition, in CFEM.shapes]
_shapes1dP2 [definition, in CFEM.shapes]
_shapes1dP1 [definition, in CFEM.shapes]
_main [definition, in CFEM.shapes]
_dNy [definition, in CFEM.shapes]
_dNx [definition, in CFEM.shapes]
_dN [definition, in CFEM.shapes]
___compcert_va_int64 [definition, in CFEM.shapes]
___compcert_va_int32 [definition, in CFEM.shapes]
___compcert_va_float64 [definition, in CFEM.shapes]
___compcert_va_composite [definition, in CFEM.shapes]
___compcert_i64_utof [definition, in CFEM.shapes]
___compcert_i64_utod [definition, in CFEM.shapes]
___compcert_i64_umulh [definition, in CFEM.shapes]
___compcert_i64_umod [definition, in CFEM.shapes]
___compcert_i64_udiv [definition, in CFEM.shapes]
___compcert_i64_stof [definition, in CFEM.shapes]
___compcert_i64_stod [definition, in CFEM.shapes]
___compcert_i64_smulh [definition, in CFEM.shapes]
___compcert_i64_smod [definition, in CFEM.shapes]
___compcert_i64_shr [definition, in CFEM.shapes]
___compcert_i64_shl [definition, in CFEM.shapes]
___compcert_i64_sdiv [definition, in CFEM.shapes]
___compcert_i64_sar [definition, in CFEM.shapes]
___compcert_i64_dtou [definition, in CFEM.shapes]
___compcert_i64_dtos [definition, in CFEM.shapes]
___builtin_va_start [definition, in CFEM.shapes]
___builtin_va_end [definition, in CFEM.shapes]
___builtin_va_copy [definition, in CFEM.shapes]
___builtin_va_arg [definition, in CFEM.shapes]
___builtin_unreachable [definition, in CFEM.shapes]
___builtin_sqrt [definition, in CFEM.shapes]
___builtin_sel [definition, in CFEM.shapes]
___builtin_memcpy_aligned [definition, in CFEM.shapes]
___builtin_membar [definition, in CFEM.shapes]
___builtin_fsqrt [definition, in CFEM.shapes]
___builtin_fnmsub [definition, in CFEM.shapes]
___builtin_fnmadd [definition, in CFEM.shapes]
___builtin_fmsub [definition, in CFEM.shapes]
___builtin_fmin [definition, in CFEM.shapes]
___builtin_fmax [definition, in CFEM.shapes]
___builtin_fmadd [definition, in CFEM.shapes]
___builtin_fabsf [definition, in CFEM.shapes]
___builtin_fabs [definition, in CFEM.shapes]
___builtin_expect [definition, in CFEM.shapes]
___builtin_debug [definition, in CFEM.shapes]
___builtin_ctzll [definition, in CFEM.shapes]
___builtin_ctzl [definition, in CFEM.shapes]
___builtin_ctz [definition, in CFEM.shapes]
___builtin_clzll [definition, in CFEM.shapes]
___builtin_clzl [definition, in CFEM.shapes]
___builtin_clz [definition, in CFEM.shapes]
___builtin_clsll [definition, in CFEM.shapes]
___builtin_clsl [definition, in CFEM.shapes]
___builtin_cls [definition, in CFEM.shapes]
___builtin_bswap64 [definition, in CFEM.shapes]
___builtin_bswap32 [definition, in CFEM.shapes]
___builtin_bswap16 [definition, in CFEM.shapes]
___builtin_bswap [definition, in CFEM.shapes]
___builtin_annot_intval [definition, in CFEM.shapes]
___builtin_annot [definition, in CFEM.shapes]
_Ny [definition, in CFEM.shapes]
_Nx [definition, in CFEM.shapes]
_N [definition, in CFEM.shapes]
_t'3 [definition, in CFEM.assemble]
_t'2 [definition, in CFEM.assemble]
_t'1 [definition, in CFEM.assemble]
_ve [definition, in CFEM.assemble]
_v [definition, in CFEM.assemble]
_sqrt [definition, in CFEM.assemble]
_printf [definition, in CFEM.assemble]
_print [definition, in CFEM.assemble]
_p [definition, in CFEM.assemble]
_norm2 [definition, in CFEM.assemble]
_ne [definition, in CFEM.assemble]
_n [definition, in CFEM.assemble]
_main [definition, in CFEM.assemble]
_m [definition, in CFEM.assemble]
_je [definition, in CFEM.assemble]
_j [definition, in CFEM.assemble]
_init_assemble_dense [definition, in CFEM.assemble]
_init_assemble_band [definition, in CFEM.assemble]
_ie [definition, in CFEM.assemble]
_ids [definition, in CFEM.assemble]
_i [definition, in CFEM.assemble]
_emat [definition, in CFEM.assemble]
_densemat_t [definition, in CFEM.assemble]
_densemat_print [definition, in CFEM.assemble]
_densemat_norm2 [definition, in CFEM.assemble]
_densemat_clear [definition, in CFEM.assemble]
_densemat_addto [definition, in CFEM.assemble]
_data [definition, in CFEM.assemble]
_d [definition, in CFEM.assemble]
_clear [definition, in CFEM.assemble]
_casted_densemat_print [definition, in CFEM.assemble]
_casted_densemat_norm2 [definition, in CFEM.assemble]
_casted_densemat_clear [definition, in CFEM.assemble]
_casted_bandmat_print [definition, in CFEM.assemble]
_casted_bandmat_norm2 [definition, in CFEM.assemble]
_casted_bandmat_clear [definition, in CFEM.assemble]
_bandmat_t [definition, in CFEM.assemble]
_bandmat_print [definition, in CFEM.assemble]
_bandmat_norm2 [definition, in CFEM.assemble]
_bandmat_clear [definition, in CFEM.assemble]
_bandmat_addto [definition, in CFEM.assemble]
_b [definition, in CFEM.assemble]
_assembler [definition, in CFEM.assemble]
_assemble_vector [definition, in CFEM.assemble]
_assemble_t [definition, in CFEM.assemble]
_assemble_print [definition, in CFEM.assemble]
_assemble_norm2 [definition, in CFEM.assemble]
_assemble_norm [definition, in CFEM.assemble]
_assemble_dense_add [definition, in CFEM.assemble]
_assemble_data_t [definition, in CFEM.assemble]
_assemble_clear [definition, in CFEM.assemble]
_assemble_bandmat_add [definition, in CFEM.assemble]
_assemble_add [definition, in CFEM.assemble]
_add [definition, in CFEM.assemble]
_abort [definition, in CFEM.assemble]
___stringlit_3 [definition, in CFEM.assemble]
___stringlit_2 [definition, in CFEM.assemble]
___stringlit_1 [definition, in CFEM.assemble]
___compcert_va_int64 [definition, in CFEM.assemble]
___compcert_va_int32 [definition, in CFEM.assemble]
___compcert_va_float64 [definition, in CFEM.assemble]
___compcert_va_composite [definition, in CFEM.assemble]
___compcert_i64_utof [definition, in CFEM.assemble]
___compcert_i64_utod [definition, in CFEM.assemble]
___compcert_i64_umulh [definition, in CFEM.assemble]
___compcert_i64_umod [definition, in CFEM.assemble]
___compcert_i64_udiv [definition, in CFEM.assemble]
___compcert_i64_stof [definition, in CFEM.assemble]
___compcert_i64_stod [definition, in CFEM.assemble]
___compcert_i64_smulh [definition, in CFEM.assemble]
___compcert_i64_smod [definition, in CFEM.assemble]
___compcert_i64_shr [definition, in CFEM.assemble]
___compcert_i64_shl [definition, in CFEM.assemble]
___compcert_i64_sdiv [definition, in CFEM.assemble]
___compcert_i64_sar [definition, in CFEM.assemble]
___compcert_i64_dtou [definition, in CFEM.assemble]
___compcert_i64_dtos [definition, in CFEM.assemble]
___builtin_va_start [definition, in CFEM.assemble]
___builtin_va_end [definition, in CFEM.assemble]
___builtin_va_copy [definition, in CFEM.assemble]
___builtin_va_arg [definition, in CFEM.assemble]
___builtin_unreachable [definition, in CFEM.assemble]
___builtin_sqrt [definition, in CFEM.assemble]
___builtin_sel [definition, in CFEM.assemble]
___builtin_memcpy_aligned [definition, in CFEM.assemble]
___builtin_membar [definition, in CFEM.assemble]
___builtin_fsqrt [definition, in CFEM.assemble]
___builtin_fnmsub [definition, in CFEM.assemble]
___builtin_fnmadd [definition, in CFEM.assemble]
___builtin_fmsub [definition, in CFEM.assemble]
___builtin_fmin [definition, in CFEM.assemble]
___builtin_fmax [definition, in CFEM.assemble]
___builtin_fmadd [definition, in CFEM.assemble]
___builtin_fabsf [definition, in CFEM.assemble]
___builtin_fabs [definition, in CFEM.assemble]
___builtin_expect [definition, in CFEM.assemble]
___builtin_debug [definition, in CFEM.assemble]
___builtin_ctzll [definition, in CFEM.assemble]
___builtin_ctzl [definition, in CFEM.assemble]
___builtin_ctz [definition, in CFEM.assemble]
___builtin_clzll [definition, in CFEM.assemble]
___builtin_clzl [definition, in CFEM.assemble]
___builtin_clz [definition, in CFEM.assemble]
___builtin_clsll [definition, in CFEM.assemble]
___builtin_clsl [definition, in CFEM.assemble]
___builtin_cls [definition, in CFEM.assemble]
___builtin_bswap64 [definition, in CFEM.assemble]
___builtin_bswap32 [definition, in CFEM.assemble]
___builtin_bswap16 [definition, in CFEM.assemble]
___builtin_bswap [definition, in CFEM.assemble]
___builtin_annot_intval [definition, in CFEM.assemble]
___builtin_annot [definition, in CFEM.assemble]
_P [definition, in CFEM.assemble]
_A [definition, in CFEM.assemble]
_t'3 [definition, in CFEM.quadrules]
_t'2 [definition, in CFEM.quadrules]
_t'1 [definition, in CFEM.quadrules]
_xi [definition, in CFEM.quadrules]
_npts [definition, in CFEM.quadrules]
_main [definition, in CFEM.quadrules]
_iy [definition, in CFEM.quadrules]
_ix [definition, in CFEM.quadrules]
_i [definition, in CFEM.quadrules]
_hughes_weight [definition, in CFEM.quadrules]
_hughes_point [definition, in CFEM.quadrules]
_gauss_wts [definition, in CFEM.quadrules]
_gauss_weight [definition, in CFEM.quadrules]
_gauss_pts [definition, in CFEM.quadrules]
_gauss_point [definition, in CFEM.quadrules]
_gauss2d_weight [definition, in CFEM.quadrules]
_gauss2d_point [definition, in CFEM.quadrules]
_gauss2d_npoint1d [definition, in CFEM.quadrules]
_fprintf [definition, in CFEM.quadrules]
_exit [definition, in CFEM.quadrules]
_d [definition, in CFEM.quadrules]
__write [definition, in CFEM.quadrules]
__w [definition, in CFEM.quadrules]
__ur [definition, in CFEM.quadrules]
__ubuf [definition, in CFEM.quadrules]
__ub [definition, in CFEM.quadrules]
__size [definition, in CFEM.quadrules]
__seek [definition, in CFEM.quadrules]
__read [definition, in CFEM.quadrules]
__r [definition, in CFEM.quadrules]
__p [definition, in CFEM.quadrules]
__offset [definition, in CFEM.quadrules]
__nbuf [definition, in CFEM.quadrules]
__lbfsize [definition, in CFEM.quadrules]
__lb [definition, in CFEM.quadrules]
__flags [definition, in CFEM.quadrules]
__file [definition, in CFEM.quadrules]
__extra [definition, in CFEM.quadrules]
__cookie [definition, in CFEM.quadrules]
__close [definition, in CFEM.quadrules]
__blksize [definition, in CFEM.quadrules]
__bf [definition, in CFEM.quadrules]
__base [definition, in CFEM.quadrules]
___stringlit_2 [definition, in CFEM.quadrules]
___stringlit_1 [definition, in CFEM.quadrules]
___stderrp [definition, in CFEM.quadrules]
___sbuf [definition, in CFEM.quadrules]
___sFILEX [definition, in CFEM.quadrules]
___sFILE [definition, in CFEM.quadrules]
___compcert_va_int64 [definition, in CFEM.quadrules]
___compcert_va_int32 [definition, in CFEM.quadrules]
___compcert_va_float64 [definition, in CFEM.quadrules]
___compcert_va_composite [definition, in CFEM.quadrules]
___compcert_i64_utof [definition, in CFEM.quadrules]
___compcert_i64_utod [definition, in CFEM.quadrules]
___compcert_i64_umulh [definition, in CFEM.quadrules]
___compcert_i64_umod [definition, in CFEM.quadrules]
___compcert_i64_udiv [definition, in CFEM.quadrules]
___compcert_i64_stof [definition, in CFEM.quadrules]
___compcert_i64_stod [definition, in CFEM.quadrules]
___compcert_i64_smulh [definition, in CFEM.quadrules]
___compcert_i64_smod [definition, in CFEM.quadrules]
___compcert_i64_shr [definition, in CFEM.quadrules]
___compcert_i64_shl [definition, in CFEM.quadrules]
___compcert_i64_sdiv [definition, in CFEM.quadrules]
___compcert_i64_sar [definition, in CFEM.quadrules]
___compcert_i64_dtou [definition, in CFEM.quadrules]
___compcert_i64_dtos [definition, in CFEM.quadrules]
___builtin_va_start [definition, in CFEM.quadrules]
___builtin_va_end [definition, in CFEM.quadrules]
___builtin_va_copy [definition, in CFEM.quadrules]
___builtin_va_arg [definition, in CFEM.quadrules]
___builtin_unreachable [definition, in CFEM.quadrules]
___builtin_sqrt [definition, in CFEM.quadrules]
___builtin_sel [definition, in CFEM.quadrules]
___builtin_memcpy_aligned [definition, in CFEM.quadrules]
___builtin_membar [definition, in CFEM.quadrules]
___builtin_fsqrt [definition, in CFEM.quadrules]
___builtin_fnmsub [definition, in CFEM.quadrules]
___builtin_fnmadd [definition, in CFEM.quadrules]
___builtin_fmsub [definition, in CFEM.quadrules]
___builtin_fmin [definition, in CFEM.quadrules]
___builtin_fmax [definition, in CFEM.quadrules]
___builtin_fmadd [definition, in CFEM.quadrules]
___builtin_fabsf [definition, in CFEM.quadrules]
___builtin_fabs [definition, in CFEM.quadrules]
___builtin_expect [definition, in CFEM.quadrules]
___builtin_debug [definition, in CFEM.quadrules]
___builtin_ctzll [definition, in CFEM.quadrules]
___builtin_ctzl [definition, in CFEM.quadrules]
___builtin_ctz [definition, in CFEM.quadrules]
___builtin_clzll [definition, in CFEM.quadrules]
___builtin_clzl [definition, in CFEM.quadrules]
___builtin_clz [definition, in CFEM.quadrules]
___builtin_clsll [definition, in CFEM.quadrules]
___builtin_clsl [definition, in CFEM.quadrules]
___builtin_cls [definition, in CFEM.quadrules]
___builtin_bswap64 [definition, in CFEM.quadrules]
___builtin_bswap32 [definition, in CFEM.quadrules]
___builtin_bswap16 [definition, in CFEM.quadrules]
___builtin_bswap [definition, in CFEM.quadrules]
___builtin_annot_intval [definition, in CFEM.quadrules]
___builtin_annot [definition, in CFEM.quadrules]
_t'9 [definition, in CFEM.fem]
_t'8 [definition, in CFEM.fem]
_t'7 [definition, in CFEM.fem]
_t'6 [definition, in CFEM.fem]
_t'5 [definition, in CFEM.fem]
_t'4 [definition, in CFEM.fem]
_t'3 [definition, in CFEM.fem]
_t'24 [definition, in CFEM.fem]
_t'23 [definition, in CFEM.fem]
_t'22 [definition, in CFEM.fem]
_t'21 [definition, in CFEM.fem]
_t'20 [definition, in CFEM.fem]
_t'2 [definition, in CFEM.fem]
_t'19 [definition, in CFEM.fem]
_t'18 [definition, in CFEM.fem]
_t'17 [definition, in CFEM.fem]
_t'16 [definition, in CFEM.fem]
_t'15 [definition, in CFEM.fem]
_t'14 [definition, in CFEM.fem]
_t'13 [definition, in CFEM.fem]
_t'12 [definition, in CFEM.fem]
_t'11 [definition, in CFEM.fem]
_t'10 [definition, in CFEM.fem]
_t'1 [definition, in CFEM.fem]
_surely_malloc [definition, in CFEM.fem]
_shape [definition, in CFEM.fem]
_printf [definition, in CFEM.fem]
_print [definition, in CFEM.fem]
_p [definition, in CFEM.fem]
_numnp [definition, in CFEM.fem]
_numelt [definition, in CFEM.fem]
_norm2 [definition, in CFEM.fem]
_next_id [definition, in CFEM.fem]
_nen [definition, in CFEM.fem]
_ndof [definition, in CFEM.fem]
_nactive [definition, in CFEM.fem]
_n [definition, in CFEM.fem]
_mesh_t [definition, in CFEM.fem]
_mesh_print_elt [definition, in CFEM.fem]
_mesh_free [definition, in CFEM.fem]
_mesh [definition, in CFEM.fem]
_memset [definition, in CFEM.fem]
_main [definition, in CFEM.fem]
_m [definition, in CFEM.fem]
_j__5 [definition, in CFEM.fem]
_j__4 [definition, in CFEM.fem]
_j__3 [definition, in CFEM.fem]
_j__2 [definition, in CFEM.fem]
_j__1 [definition, in CFEM.fem]
_j [definition, in CFEM.fem]
_int_calloc [definition, in CFEM.fem]
_init_assemble_dense [definition, in CFEM.fem]
_init_assemble_band [definition, in CFEM.fem]
_ids [definition, in CFEM.fem]
_id [definition, in CFEM.fem]
_i [definition, in CFEM.fem]
_free [definition, in CFEM.fem]
_fem_update_U [definition, in CFEM.fem]
_fem_t [definition, in CFEM.fem]
_fem_set_load [definition, in CFEM.fem]
_fem_print [definition, in CFEM.fem]
_fem_malloc [definition, in CFEM.fem]
_fem_free [definition, in CFEM.fem]
_fem_assign_ids [definition, in CFEM.fem]
_fem_assemble_dense [definition, in CFEM.fem]
_fem_assemble_band [definition, in CFEM.fem]
_fem_assemble [definition, in CFEM.fem]
_fe [definition, in CFEM.fem]
_f [definition, in CFEM.fem]
_etype [definition, in CFEM.fem]
_elt [definition, in CFEM.fem]
_element_t [definition, in CFEM.fem]
_element_dR [definition, in CFEM.fem]
_du_red [definition, in CFEM.fem]
_double_calloc [definition, in CFEM.fem]
_densemat_t [definition, in CFEM.fem]
_data [definition, in CFEM.fem]
_dR [definition, in CFEM.fem]
_d [definition, in CFEM.fem]
_clear [definition, in CFEM.fem]
_bandmat_t [definition, in CFEM.fem]
_b [definition, in CFEM.fem]
_assemble_vector [definition, in CFEM.fem]
_assemble_t [definition, in CFEM.fem]
_assemble_data_t [definition, in CFEM.fem]
_assemble_clear [definition, in CFEM.fem]
_assemble_add [definition, in CFEM.fem]
_add [definition, in CFEM.fem]
___stringlit_9 [definition, in CFEM.fem]
___stringlit_8 [definition, in CFEM.fem]
___stringlit_7 [definition, in CFEM.fem]
___stringlit_6 [definition, in CFEM.fem]
___stringlit_5 [definition, in CFEM.fem]
___stringlit_4 [definition, in CFEM.fem]
___stringlit_3 [definition, in CFEM.fem]
___stringlit_2 [definition, in CFEM.fem]
___stringlit_1 [definition, in CFEM.fem]
___compcert_va_int64 [definition, in CFEM.fem]
___compcert_va_int32 [definition, in CFEM.fem]
___compcert_va_float64 [definition, in CFEM.fem]
___compcert_va_composite [definition, in CFEM.fem]
___compcert_i64_utof [definition, in CFEM.fem]
___compcert_i64_utod [definition, in CFEM.fem]
___compcert_i64_umulh [definition, in CFEM.fem]
___compcert_i64_umod [definition, in CFEM.fem]
___compcert_i64_udiv [definition, in CFEM.fem]
___compcert_i64_stof [definition, in CFEM.fem]
___compcert_i64_stod [definition, in CFEM.fem]
___compcert_i64_smulh [definition, in CFEM.fem]
___compcert_i64_smod [definition, in CFEM.fem]
___compcert_i64_shr [definition, in CFEM.fem]
___compcert_i64_shl [definition, in CFEM.fem]
___compcert_i64_sdiv [definition, in CFEM.fem]
___compcert_i64_sar [definition, in CFEM.fem]
___compcert_i64_dtou [definition, in CFEM.fem]
___compcert_i64_dtos [definition, in CFEM.fem]
___builtin_va_start [definition, in CFEM.fem]
___builtin_va_end [definition, in CFEM.fem]
___builtin_va_copy [definition, in CFEM.fem]
___builtin_va_arg [definition, in CFEM.fem]
___builtin_unreachable [definition, in CFEM.fem]
___builtin_sqrt [definition, in CFEM.fem]
___builtin_sel [definition, in CFEM.fem]
___builtin_memcpy_aligned [definition, in CFEM.fem]
___builtin_membar [definition, in CFEM.fem]
___builtin_fsqrt [definition, in CFEM.fem]
___builtin_fnmsub [definition, in CFEM.fem]
___builtin_fnmadd [definition, in CFEM.fem]
___builtin_fmsub [definition, in CFEM.fem]
___builtin_fmin [definition, in CFEM.fem]
___builtin_fmax [definition, in CFEM.fem]
___builtin_fmadd [definition, in CFEM.fem]
___builtin_fabsf [definition, in CFEM.fem]
___builtin_fabs [definition, in CFEM.fem]
___builtin_expect [definition, in CFEM.fem]
___builtin_debug [definition, in CFEM.fem]
___builtin_ctzll [definition, in CFEM.fem]
___builtin_ctzl [definition, in CFEM.fem]
___builtin_ctz [definition, in CFEM.fem]
___builtin_clzll [definition, in CFEM.fem]
___builtin_clzl [definition, in CFEM.fem]
___builtin_clz [definition, in CFEM.fem]
___builtin_clsll [definition, in CFEM.fem]
___builtin_clsl [definition, in CFEM.fem]
___builtin_cls [definition, in CFEM.fem]
___builtin_bswap64 [definition, in CFEM.fem]
___builtin_bswap32 [definition, in CFEM.fem]
___builtin_bswap16 [definition, in CFEM.fem]
___builtin_bswap [definition, in CFEM.fem]
___builtin_annot_intval [definition, in CFEM.fem]
___builtin_annot [definition, in CFEM.fem]
_X [definition, in CFEM.fem]
_U [definition, in CFEM.fem]
_Re [definition, in CFEM.fem]
_R [definition, in CFEM.fem]
_Ke [definition, in CFEM.fem]
_Kassembler [definition, in CFEM.fem]
_K [definition, in CFEM.fem]
_F [definition, in CFEM.fem]
_t'9 [definition, in CFEM.element]
_t'8 [definition, in CFEM.element]
_t'7 [definition, in CFEM.element]
_t'6 [definition, in CFEM.element]
_t'5 [definition, in CFEM.element]
_t'4 [definition, in CFEM.element]
_t'33 [definition, in CFEM.element]
_t'32 [definition, in CFEM.element]
_t'31 [definition, in CFEM.element]
_t'30 [definition, in CFEM.element]
_t'3 [definition, in CFEM.element]
_t'29 [definition, in CFEM.element]
_t'28 [definition, in CFEM.element]
_t'27 [definition, in CFEM.element]
_t'26 [definition, in CFEM.element]
_t'25 [definition, in CFEM.element]
_t'24 [definition, in CFEM.element]
_t'23 [definition, in CFEM.element]
_t'22 [definition, in CFEM.element]
_t'21 [definition, in CFEM.element]
_t'20 [definition, in CFEM.element]
_t'2 [definition, in CFEM.element]
_t'19 [definition, in CFEM.element]
_t'18 [definition, in CFEM.element]
_t'17 [definition, in CFEM.element]
_t'16 [definition, in CFEM.element]
_t'15 [definition, in CFEM.element]
_t'14 [definition, in CFEM.element]
_t'13 [definition, in CFEM.element]
_t'12 [definition, in CFEM.element]
_t'11 [definition, in CFEM.element]
_t'10 [definition, in CFEM.element]
_t'1 [definition, in CFEM.element]
_x [definition, in CFEM.element]
_wt [definition, in CFEM.element]
_surely_malloc [definition, in CFEM.element]
_simple_elt_free [definition, in CFEM.element]
_shapes2dT1 [definition, in CFEM.element]
_shapes2dS2 [definition, in CFEM.element]
_shapes2dP2 [definition, in CFEM.element]
_shapes2dP1 [definition, in CFEM.element]
_shapefn [definition, in CFEM.element]
_shape [definition, in CFEM.element]
_quad_wt [definition, in CFEM.element]
_quad_pt [definition, in CFEM.element]
_printf [definition, in CFEM.element]
_poisson_elt_t [definition, in CFEM.element]
_poisson2d_elt_dR [definition, in CFEM.element]
_poisson1d_elt_dR [definition, in CFEM.element]
_p [definition, in CFEM.element]
_numnp [definition, in CFEM.element]
_numelt [definition, in CFEM.element]
_nquad [definition, in CFEM.element]
_nen [definition, in CFEM.element]
_ndof [definition, in CFEM.element]
_nactive [definition, in CFEM.element]
_mesh_t [definition, in CFEM.element]
_mesh_shapes [definition, in CFEM.element]
_mesh [definition, in CFEM.element]
_memset [definition, in CFEM.element]
_malloc_poisson2d_element [definition, in CFEM.element]
_malloc_poisson1d_element [definition, in CFEM.element]
_main [definition, in CFEM.element]
_le [definition, in CFEM.element]
_k [definition, in CFEM.element]
_j__1 [definition, in CFEM.element]
_j [definition, in CFEM.element]
_id [definition, in CFEM.element]
_i__1 [definition, in CFEM.element]
_i [definition, in CFEM.element]
_hughes_weight [definition, in CFEM.element]
_hughes_point [definition, in CFEM.element]
_get_quad2d [definition, in CFEM.element]
_gauss_weight [definition, in CFEM.element]
_gauss_point [definition, in CFEM.element]
_gauss2d_weight [definition, in CFEM.element]
_gauss2d_point [definition, in CFEM.element]
_fx [definition, in CFEM.element]
_free [definition, in CFEM.element]
_fem_t [definition, in CFEM.element]
_fe [definition, in CFEM.element]
_etype [definition, in CFEM.element]
_eltid [definition, in CFEM.element]
_elt [definition, in CFEM.element]
_element_t [definition, in CFEM.element]
_element_free [definition, in CFEM.element]
_element_dR [definition, in CFEM.element]
_e [definition, in CFEM.element]
_du [definition, in CFEM.element]
_degree [definition, in CFEM.element]
_dR [definition, in CFEM.element]
_dN [definition, in CFEM.element]
_d [definition, in CFEM.element]
_abort [definition, in CFEM.element]
___stringlit_3 [definition, in CFEM.element]
___stringlit_2 [definition, in CFEM.element]
___stringlit_1 [definition, in CFEM.element]
___compcert_va_int64 [definition, in CFEM.element]
___compcert_va_int32 [definition, in CFEM.element]
___compcert_va_float64 [definition, in CFEM.element]
___compcert_va_composite [definition, in CFEM.element]
___compcert_i64_utof [definition, in CFEM.element]
___compcert_i64_utod [definition, in CFEM.element]
___compcert_i64_umulh [definition, in CFEM.element]
___compcert_i64_umod [definition, in CFEM.element]
___compcert_i64_udiv [definition, in CFEM.element]
___compcert_i64_stof [definition, in CFEM.element]
___compcert_i64_stod [definition, in CFEM.element]
___compcert_i64_smulh [definition, in CFEM.element]
___compcert_i64_smod [definition, in CFEM.element]
___compcert_i64_shr [definition, in CFEM.element]
___compcert_i64_shl [definition, in CFEM.element]
___compcert_i64_sdiv [definition, in CFEM.element]
___compcert_i64_sar [definition, in CFEM.element]
___compcert_i64_dtou [definition, in CFEM.element]
___compcert_i64_dtos [definition, in CFEM.element]
___builtin_va_start [definition, in CFEM.element]
___builtin_va_end [definition, in CFEM.element]
___builtin_va_copy [definition, in CFEM.element]
___builtin_va_arg [definition, in CFEM.element]
___builtin_unreachable [definition, in CFEM.element]
___builtin_sqrt [definition, in CFEM.element]
___builtin_sel [definition, in CFEM.element]
___builtin_memcpy_aligned [definition, in CFEM.element]
___builtin_membar [definition, in CFEM.element]
___builtin_fsqrt [definition, in CFEM.element]
___builtin_fnmsub [definition, in CFEM.element]
___builtin_fnmadd [definition, in CFEM.element]
___builtin_fmsub [definition, in CFEM.element]
___builtin_fmin [definition, in CFEM.element]
___builtin_fmax [definition, in CFEM.element]
___builtin_fmadd [definition, in CFEM.element]
___builtin_fabsf [definition, in CFEM.element]
___builtin_fabs [definition, in CFEM.element]
___builtin_expect [definition, in CFEM.element]
___builtin_debug [definition, in CFEM.element]
___builtin_ctzll [definition, in CFEM.element]
___builtin_ctzl [definition, in CFEM.element]
___builtin_ctz [definition, in CFEM.element]
___builtin_clzll [definition, in CFEM.element]
___builtin_clzl [definition, in CFEM.element]
___builtin_clz [definition, in CFEM.element]
___builtin_clsll [definition, in CFEM.element]
___builtin_clsl [definition, in CFEM.element]
___builtin_cls [definition, in CFEM.element]
___builtin_bswap64 [definition, in CFEM.element]
___builtin_bswap32 [definition, in CFEM.element]
___builtin_bswap16 [definition, in CFEM.element]
___builtin_bswap [definition, in CFEM.element]
___builtin_annot_intval [definition, in CFEM.element]
___builtin_annot [definition, in CFEM.element]
_X [definition, in CFEM.element]
_U [definition, in CFEM.element]
_Re [definition, in CFEM.element]
_N [definition, in CFEM.element]
_Ke [definition, in CFEM.element]
_J [definition, in CFEM.element]
_F [definition, in CFEM.element]
_t'1 [definition, in CFEM.alloc]
_surely_malloc [definition, in CFEM.alloc]
_p [definition, in CFEM.alloc]
_n [definition, in CFEM.alloc]
_malloc [definition, in CFEM.alloc]
_main [definition, in CFEM.alloc]
_int_calloc [definition, in CFEM.alloc]
_i [definition, in CFEM.alloc]
_free [definition, in CFEM.alloc]
_exit [definition, in CFEM.alloc]
_double_clear [definition, in CFEM.alloc]
_double_calloc [definition, in CFEM.alloc]
___compcert_va_int64 [definition, in CFEM.alloc]
___compcert_va_int32 [definition, in CFEM.alloc]
___compcert_va_float64 [definition, in CFEM.alloc]
___compcert_va_composite [definition, in CFEM.alloc]
___compcert_i64_utof [definition, in CFEM.alloc]
___compcert_i64_utod [definition, in CFEM.alloc]
___compcert_i64_umulh [definition, in CFEM.alloc]
___compcert_i64_umod [definition, in CFEM.alloc]
___compcert_i64_udiv [definition, in CFEM.alloc]
___compcert_i64_stof [definition, in CFEM.alloc]
___compcert_i64_stod [definition, in CFEM.alloc]
___compcert_i64_smulh [definition, in CFEM.alloc]
___compcert_i64_smod [definition, in CFEM.alloc]
___compcert_i64_shr [definition, in CFEM.alloc]
___compcert_i64_shl [definition, in CFEM.alloc]
___compcert_i64_sdiv [definition, in CFEM.alloc]
___compcert_i64_sar [definition, in CFEM.alloc]
___compcert_i64_dtou [definition, in CFEM.alloc]
___compcert_i64_dtos [definition, in CFEM.alloc]
___builtin_va_start [definition, in CFEM.alloc]
___builtin_va_end [definition, in CFEM.alloc]
___builtin_va_copy [definition, in CFEM.alloc]
___builtin_va_arg [definition, in CFEM.alloc]
___builtin_unreachable [definition, in CFEM.alloc]
___builtin_sqrt [definition, in CFEM.alloc]
___builtin_sel [definition, in CFEM.alloc]
___builtin_memcpy_aligned [definition, in CFEM.alloc]
___builtin_membar [definition, in CFEM.alloc]
___builtin_fsqrt [definition, in CFEM.alloc]
___builtin_fnmsub [definition, in CFEM.alloc]
___builtin_fnmadd [definition, in CFEM.alloc]
___builtin_fmsub [definition, in CFEM.alloc]
___builtin_fmin [definition, in CFEM.alloc]
___builtin_fmax [definition, in CFEM.alloc]
___builtin_fmadd [definition, in CFEM.alloc]
___builtin_fabsf [definition, in CFEM.alloc]
___builtin_fabs [definition, in CFEM.alloc]
___builtin_expect [definition, in CFEM.alloc]
___builtin_debug [definition, in CFEM.alloc]
___builtin_ctzll [definition, in CFEM.alloc]
___builtin_ctzl [definition, in CFEM.alloc]
___builtin_ctz [definition, in CFEM.alloc]
___builtin_clzll [definition, in CFEM.alloc]
___builtin_clzl [definition, in CFEM.alloc]
___builtin_clz [definition, in CFEM.alloc]
___builtin_clsll [definition, in CFEM.alloc]
___builtin_clsl [definition, in CFEM.alloc]
___builtin_cls [definition, in CFEM.alloc]
___builtin_bswap64 [definition, in CFEM.alloc]
___builtin_bswap32 [definition, in CFEM.alloc]
___builtin_bswap16 [definition, in CFEM.alloc]
___builtin_bswap [definition, in CFEM.alloc]
___builtin_annot_intval [definition, in CFEM.alloc]
___builtin_annot [definition, in CFEM.alloc]
_t'9 [definition, in CFEM.densemat]
_t'8 [definition, in CFEM.densemat]
_t'7 [definition, in CFEM.densemat]
_t'6 [definition, in CFEM.densemat]
_t'5 [definition, in CFEM.densemat]
_t'4 [definition, in CFEM.densemat]
_t'3 [definition, in CFEM.densemat]
_t'2 [definition, in CFEM.densemat]
_t'10 [definition, in CFEM.densemat]
_t'1 [definition, in CFEM.densemat]
_yi [definition, in CFEM.densemat]
_xj [definition, in CFEM.densemat]
_x [definition, in CFEM.densemat]
_vm [definition, in CFEM.densemat]
_t [definition, in CFEM.densemat]
_surely_malloc [definition, in CFEM.densemat]
_subtractoff [definition, in CFEM.densemat]
_sqrt [definition, in CFEM.densemat]
_s [definition, in CFEM.densemat]
_rows [definition, in CFEM.densemat]
_rkk [definition, in CFEM.densemat]
_rkj [definition, in CFEM.densemat]
_result [definition, in CFEM.densemat]
_printf [definition, in CFEM.densemat]
_nswap [definition, in CFEM.densemat]
_n [definition, in CFEM.densemat]
_main [definition, in CFEM.densemat]
_m [definition, in CFEM.densemat]
_l [definition, in CFEM.densemat]
_k__1 [definition, in CFEM.densemat]
_k [definition, in CFEM.densemat]
_j__1 [definition, in CFEM.densemat]
_j [definition, in CFEM.densemat]
_ipivj [definition, in CFEM.densemat]
_ipiv [definition, in CFEM.densemat]
_i__2 [definition, in CFEM.densemat]
_i__1 [definition, in CFEM.densemat]
_i [definition, in CFEM.densemat]
_h [definition, in CFEM.densemat]
_free [definition, in CFEM.densemat]
_fma [definition, in CFEM.densemat]
_fabs [definition, in CFEM.densemat]
_double_clear [definition, in CFEM.densemat]
_dm [definition, in CFEM.densemat]
_densematn_set [definition, in CFEM.densemat]
_densematn_print [definition, in CFEM.densemat]
_densematn_lusolveT [definition, in CFEM.densemat]
_densematn_lusolve [definition, in CFEM.densemat]
_densematn_lujac [definition, in CFEM.densemat]
_densematn_lufactor [definition, in CFEM.densemat]
_densematn_get [definition, in CFEM.densemat]
_densematn_csolve [definition, in CFEM.densemat]
_densematn_clear [definition, in CFEM.densemat]
_densematn_cfactor_outer [definition, in CFEM.densemat]
_densematn_cfactor_block [definition, in CFEM.densemat]
_densematn_cfactor [definition, in CFEM.densemat]
_densematn_addto [definition, in CFEM.densemat]
_densemat_t [definition, in CFEM.densemat]
_densemat_set [definition, in CFEM.densemat]
_densemat_print [definition, in CFEM.densemat]
_densemat_norm2 [definition, in CFEM.densemat]
_densemat_norm [definition, in CFEM.densemat]
_densemat_malloc [definition, in CFEM.densemat]
_densemat_lusolveT [definition, in CFEM.densemat]
_densemat_lusolve [definition, in CFEM.densemat]
_densemat_lujac [definition, in CFEM.densemat]
_densemat_lufactor [definition, in CFEM.densemat]
_densemat_get [definition, in CFEM.densemat]
_densemat_free [definition, in CFEM.densemat]
_densemat_csolve [definition, in CFEM.densemat]
_densemat_clear [definition, in CFEM.densemat]
_densemat_cfactor [definition, in CFEM.densemat]
_densemat_addto [definition, in CFEM.densemat]
_data_norm2 [definition, in CFEM.densemat]
_data_norm [definition, in CFEM.densemat]
_data [definition, in CFEM.densemat]
_c [definition, in CFEM.densemat]
_blocksolve [definition, in CFEM.densemat]
_bi [definition, in CFEM.densemat]
_b [definition, in CFEM.densemat]
_akk [definition, in CFEM.densemat]
_abort [definition, in CFEM.densemat]
___stringlit_7 [definition, in CFEM.densemat]
___stringlit_6 [definition, in CFEM.densemat]
___stringlit_5 [definition, in CFEM.densemat]
___stringlit_4 [definition, in CFEM.densemat]
___stringlit_3 [definition, in CFEM.densemat]
___stringlit_2 [definition, in CFEM.densemat]
___stringlit_1 [definition, in CFEM.densemat]
___compcert_va_int64 [definition, in CFEM.densemat]
___compcert_va_int32 [definition, in CFEM.densemat]
___compcert_va_float64 [definition, in CFEM.densemat]
___compcert_va_composite [definition, in CFEM.densemat]
___compcert_i64_utof [definition, in CFEM.densemat]
___compcert_i64_utod [definition, in CFEM.densemat]
___compcert_i64_umulh [definition, in CFEM.densemat]
___compcert_i64_umod [definition, in CFEM.densemat]
___compcert_i64_udiv [definition, in CFEM.densemat]
___compcert_i64_stof [definition, in CFEM.densemat]
___compcert_i64_stod [definition, in CFEM.densemat]
___compcert_i64_smulh [definition, in CFEM.densemat]
___compcert_i64_smod [definition, in CFEM.densemat]
___compcert_i64_shr [definition, in CFEM.densemat]
___compcert_i64_shl [definition, in CFEM.densemat]
___compcert_i64_sdiv [definition, in CFEM.densemat]
___compcert_i64_sar [definition, in CFEM.densemat]
___compcert_i64_dtou [definition, in CFEM.densemat]
___compcert_i64_dtos [definition, in CFEM.densemat]
___builtin_va_start [definition, in CFEM.densemat]
___builtin_va_end [definition, in CFEM.densemat]
___builtin_va_copy [definition, in CFEM.densemat]
___builtin_va_arg [definition, in CFEM.densemat]
___builtin_unreachable [definition, in CFEM.densemat]
___builtin_sqrt [definition, in CFEM.densemat]
___builtin_sel [definition, in CFEM.densemat]
___builtin_memcpy_aligned [definition, in CFEM.densemat]
___builtin_membar [definition, in CFEM.densemat]
___builtin_fsqrt [definition, in CFEM.densemat]
___builtin_fnmsub [definition, in CFEM.densemat]
___builtin_fnmadd [definition, in CFEM.densemat]
___builtin_fmsub [definition, in CFEM.densemat]
___builtin_fmin [definition, in CFEM.densemat]
___builtin_fmax [definition, in CFEM.densemat]
___builtin_fmadd [definition, in CFEM.densemat]
___builtin_fabsf [definition, in CFEM.densemat]
___builtin_fabs [definition, in CFEM.densemat]
___builtin_expect [definition, in CFEM.densemat]
___builtin_debug [definition, in CFEM.densemat]
___builtin_ctzll [definition, in CFEM.densemat]
___builtin_ctzl [definition, in CFEM.densemat]
___builtin_ctz [definition, in CFEM.densemat]
___builtin_clzll [definition, in CFEM.densemat]
___builtin_clzl [definition, in CFEM.densemat]
___builtin_clz [definition, in CFEM.densemat]
___builtin_clsll [definition, in CFEM.densemat]
___builtin_clsl [definition, in CFEM.densemat]
___builtin_cls [definition, in CFEM.densemat]
___builtin_bswap64 [definition, in CFEM.densemat]
___builtin_bswap32 [definition, in CFEM.densemat]
___builtin_bswap16 [definition, in CFEM.densemat]
___builtin_bswap [definition, in CFEM.densemat]
___builtin_annot_intval [definition, in CFEM.densemat]
___builtin_annot [definition, in CFEM.densemat]
_Ujk [definition, in CFEM.densemat]
_Ujj [definition, in CFEM.densemat]
_R [definition, in CFEM.densemat]
_Lij [definition, in CFEM.densemat]
_J [definition, in CFEM.densemat]
_A [definition, in CFEM.densemat]
_t'9 [definition, in CFEM.mesh]
_t'8 [definition, in CFEM.mesh]
_t'7 [definition, in CFEM.mesh]
_t'6 [definition, in CFEM.mesh]
_t'5 [definition, in CFEM.mesh]
_t'4 [definition, in CFEM.mesh]
_t'3 [definition, in CFEM.mesh]
_t'2 [definition, in CFEM.mesh]
_t'17 [definition, in CFEM.mesh]
_t'16 [definition, in CFEM.mesh]
_t'15 [definition, in CFEM.mesh]
_t'14 [definition, in CFEM.mesh]
_t'13 [definition, in CFEM.mesh]
_t'12 [definition, in CFEM.mesh]
_t'11 [definition, in CFEM.mesh]
_t'10 [definition, in CFEM.mesh]
_t'1 [definition, in CFEM.mesh]
_xref [definition, in CFEM.mesh]
_xout [definition, in CFEM.mesh]
_x [definition, in CFEM.mesh]
_surely_malloc [definition, in CFEM.mesh]
_start [definition, in CFEM.mesh]
_shapes2dT1 [definition, in CFEM.mesh]
_shapes2dS2 [definition, in CFEM.mesh]
_shapes2dP2 [definition, in CFEM.mesh]
_shapes2dP1 [definition, in CFEM.mesh]
_shapes1dP3 [definition, in CFEM.mesh]
_shapes1dP2 [definition, in CFEM.mesh]
_shapes1dP1 [definition, in CFEM.mesh]
_shape [definition, in CFEM.mesh]
_printf [definition, in CFEM.mesh]
_ny [definition, in CFEM.mesh]
_nx1 [definition, in CFEM.mesh]
_nx0 [definition, in CFEM.mesh]
_nx [definition, in CFEM.mesh]
_numnp [definition, in CFEM.mesh]
_numelt [definition, in CFEM.mesh]
_nshape [definition, in CFEM.mesh]
_ney [definition, in CFEM.mesh]
_nex [definition, in CFEM.mesh]
_nen [definition, in CFEM.mesh]
_mesh_to_spatial [definition, in CFEM.mesh]
_mesh_t [definition, in CFEM.mesh]
_mesh_shapes [definition, in CFEM.mesh]
_mesh_print_nodes [definition, in CFEM.mesh]
_mesh_print_elt [definition, in CFEM.mesh]
_mesh_print [definition, in CFEM.mesh]
_mesh_malloc [definition, in CFEM.mesh]
_mesh_free [definition, in CFEM.mesh]
_mesh_create1d [definition, in CFEM.mesh]
_mesh_block2d_T1 [definition, in CFEM.mesh]
_mesh_block2d_S2 [definition, in CFEM.mesh]
_mesh_block2d_P2 [definition, in CFEM.mesh]
_mesh_block2d_P1 [definition, in CFEM.mesh]
_mesh [definition, in CFEM.mesh]
_memset [definition, in CFEM.mesh]
_memcpy [definition, in CFEM.mesh]
_main [definition, in CFEM.mesh]
_k__2 [definition, in CFEM.mesh]
_k__1 [definition, in CFEM.mesh]
_k [definition, in CFEM.mesh]
_j__2 [definition, in CFEM.mesh]
_j__1 [definition, in CFEM.mesh]
_j [definition, in CFEM.mesh]
_iy__1 [definition, in CFEM.mesh]
_iy [definition, in CFEM.mesh]
_ix__3 [definition, in CFEM.mesh]
_ix__2 [definition, in CFEM.mesh]
_ix__1 [definition, in CFEM.mesh]
_ix [definition, in CFEM.mesh]
_ipiv [definition, in CFEM.mesh]
_int_calloc [definition, in CFEM.mesh]
_i_ww [definition, in CFEM.mesh]
_i_sw [definition, in CFEM.mesh]
_i_nw [definition, in CFEM.mesh]
_i__1 [definition, in CFEM.mesh]
_i [definition, in CFEM.mesh]
_free [definition, in CFEM.mesh]
_eltid [definition, in CFEM.mesh]
_elt [definition, in CFEM.mesh]
_double_calloc [definition, in CFEM.mesh]
_densematn_lusolveT [definition, in CFEM.mesh]
_densematn_lujac [definition, in CFEM.mesh]
_densematn_lufactor [definition, in CFEM.mesh]
_degree [definition, in CFEM.mesh]
_dNk [definition, in CFEM.mesh]
_dN [definition, in CFEM.mesh]
_d [definition, in CFEM.mesh]
_b [definition, in CFEM.mesh]
_abort [definition, in CFEM.mesh]
_a [definition, in CFEM.mesh]
___stringlit_9 [definition, in CFEM.mesh]
___stringlit_8 [definition, in CFEM.mesh]
___stringlit_7 [definition, in CFEM.mesh]
___stringlit_6 [definition, in CFEM.mesh]
___stringlit_5 [definition, in CFEM.mesh]
___stringlit_4 [definition, in CFEM.mesh]
___stringlit_3 [definition, in CFEM.mesh]
___stringlit_2 [definition, in CFEM.mesh]
___stringlit_12 [definition, in CFEM.mesh]
___stringlit_11 [definition, in CFEM.mesh]
___stringlit_10 [definition, in CFEM.mesh]
___stringlit_1 [definition, in CFEM.mesh]
___compcert_va_int64 [definition, in CFEM.mesh]
___compcert_va_int32 [definition, in CFEM.mesh]
___compcert_va_float64 [definition, in CFEM.mesh]
___compcert_va_composite [definition, in CFEM.mesh]
___compcert_i64_utof [definition, in CFEM.mesh]
___compcert_i64_utod [definition, in CFEM.mesh]
___compcert_i64_umulh [definition, in CFEM.mesh]
___compcert_i64_umod [definition, in CFEM.mesh]
___compcert_i64_udiv [definition, in CFEM.mesh]
___compcert_i64_stof [definition, in CFEM.mesh]
___compcert_i64_stod [definition, in CFEM.mesh]
___compcert_i64_smulh [definition, in CFEM.mesh]
___compcert_i64_smod [definition, in CFEM.mesh]
___compcert_i64_shr [definition, in CFEM.mesh]
___compcert_i64_shl [definition, in CFEM.mesh]
___compcert_i64_sdiv [definition, in CFEM.mesh]
___compcert_i64_sar [definition, in CFEM.mesh]
___compcert_i64_dtou [definition, in CFEM.mesh]
___compcert_i64_dtos [definition, in CFEM.mesh]
___builtin_va_start [definition, in CFEM.mesh]
___builtin_va_end [definition, in CFEM.mesh]
___builtin_va_copy [definition, in CFEM.mesh]
___builtin_va_arg [definition, in CFEM.mesh]
___builtin_unreachable [definition, in CFEM.mesh]
___builtin_sqrt [definition, in CFEM.mesh]
___builtin_sel [definition, in CFEM.mesh]
___builtin_memcpy_aligned [definition, in CFEM.mesh]
___builtin_membar [definition, in CFEM.mesh]
___builtin_fsqrt [definition, in CFEM.mesh]
___builtin_fnmsub [definition, in CFEM.mesh]
___builtin_fnmadd [definition, in CFEM.mesh]
___builtin_fmsub [definition, in CFEM.mesh]
___builtin_fmin [definition, in CFEM.mesh]
___builtin_fmax [definition, in CFEM.mesh]
___builtin_fmadd [definition, in CFEM.mesh]
___builtin_fabsf [definition, in CFEM.mesh]
___builtin_fabs [definition, in CFEM.mesh]
___builtin_expect [definition, in CFEM.mesh]
___builtin_debug [definition, in CFEM.mesh]
___builtin_ctzll [definition, in CFEM.mesh]
___builtin_ctzl [definition, in CFEM.mesh]
___builtin_ctz [definition, in CFEM.mesh]
___builtin_clzll [definition, in CFEM.mesh]
___builtin_clzl [definition, in CFEM.mesh]
___builtin_clz [definition, in CFEM.mesh]
___builtin_clsll [definition, in CFEM.mesh]
___builtin_clsl [definition, in CFEM.mesh]
___builtin_cls [definition, in CFEM.mesh]
___builtin_bswap64 [definition, in CFEM.mesh]
___builtin_bswap32 [definition, in CFEM.mesh]
___builtin_bswap16 [definition, in CFEM.mesh]
___builtin_bswap [definition, in CFEM.mesh]
___builtin_annot_intval [definition, in CFEM.mesh]
___builtin_annot [definition, in CFEM.mesh]
_Xi [definition, in CFEM.mesh]
_X [definition, in CFEM.mesh]
_N [definition, in CFEM.mesh]
_J [definition, in CFEM.mesh]

---

Module Index

I

Info [in CFEM.bandmat]
Info [in CFEM.shapes]
Info [in CFEM.assemble]
Info [in CFEM.quadrules]
Info [in CFEM.fem]
Info [in CFEM.element]
Info [in CFEM.alloc]
Info [in CFEM.densemat]
Info [in CFEM.mesh]

---

Library Index

A

alloc
assemble

B

bandmat

D

densemat

E

element

F

fem
floatlib

M

matrix_model
mesh

Q

quadrules

S

shapes
spec_densemat
spec_alloc

V

verif_densemat
verif_alloc

---

Lemma Index

A

about_reptype_ftype [in CFEM.spec_densemat]
about_the_ctype [in CFEM.spec_densemat]
all_nth_eq [in CFEM.floatlib]

B

body_double_clear [in CFEM.verif_alloc]
body_int_calloc [in CFEM.verif_alloc]
body_double_calloc [in CFEM.verif_alloc]
body_surely_malloc [in CFEM.verif_alloc]
body_densemat_csolve [in CFEM.verif_densemat]
body_densematn_csolve [in CFEM.verif_densemat]
body_densemat_cfactor [in CFEM.verif_densemat]
body_densematn_cfactor [in CFEM.verif_densemat]
body_densemat_norm [in CFEM.verif_densemat]
body_densemat_norm2 [in CFEM.verif_densemat]
body_data_norm [in CFEM.verif_densemat]
body_data_norm2 [in CFEM.verif_densemat]
body_densemat_addto [in CFEM.verif_densemat]
body_densematn_addto [in CFEM.verif_densemat]
body_densemat_set [in CFEM.verif_densemat]
body_densematn_set [in CFEM.verif_densemat]
body_densemat_get [in CFEM.verif_densemat]
body_densematn_get [in CFEM.verif_densemat]
body_densemat_clear [in CFEM.verif_densemat]
body_densematn_clear [in CFEM.verif_densemat]
body_densemat_free [in CFEM.verif_densemat]
body_densemat_malloc [in CFEM.verif_densemat]

C

check_densemat_layout [in CFEM.spec_densemat]
cholesky_jik_upto_newrow [in CFEM.matrix_model]
cholesky_jik_upto_zero [in CFEM.matrix_model]
column_major_const [in CFEM.verif_densemat]
ctype_of_the_type [in CFEM.spec_densemat]

D

densematn_valid_pointer [in CFEM.spec_densemat]
densemat_valid_pointer [in CFEM.spec_densemat]
densemat_field_compat0 [in CFEM.verif_densemat]
dotprod_congr [in CFEM.floatlib]
drop_sublist [in CFEM.verif_densemat]

E

eq_in_subrange [in CFEM.matrix_model]

F

faster_matrix_transpose_correct [in CFEM.floatlib]
finite_norm2_e [in CFEM.floatlib]
finite_dotprod_e [in CFEM.floatlib]
firstn_seq [in CFEM.verif_densemat]
fold_left_preserves [in CFEM.verif_densemat]

I

in_sublist_ord_enum [in CFEM.verif_densemat]
in_take_ord_enum [in CFEM.matrix_model]

L

length_ord_enum [in CFEM.matrix_model]

M

map_const_ord_enum [in CFEM.verif_densemat]
matrix_by_index_prop [in CFEM.floatlib]
matrix_index_prop [in CFEM.floatlib]
matrix_extensionality [in CFEM.floatlib]
matrix_extensionality_strong [in CFEM.floatlib]
matrix_by_index_index [in CFEM.floatlib]
matrix_by_index_cols [in CFEM.floatlib]
matrix_by_index_rows [in CFEM.floatlib]

N

nan_pl_1 [in CFEM.spec_densemat]
norm2_loose_congr [in CFEM.floatlib]
norm2_congr [in CFEM.floatlib]
norm2_snoc [in CFEM.floatlib]
nth_seq_nth [in CFEM.verif_densemat]
nth_ord_enum' [in CFEM.matrix_model]
nth_map_inrange [in CFEM.floatlib]
nth_map_seq [in CFEM.floatlib]

S

seq_rev_rev [in CFEM.verif_densemat]
size_ord_enum [in CFEM.matrix_model]
subtract_another [in CFEM.matrix_model]
surely_malloc_spec_sub [in CFEM.spec_alloc]

T

take_sublist [in CFEM.verif_densemat]
take_snoc [in CFEM.matrix_model]

U

update_i_lt_j [in CFEM.matrix_model]
update_i_lt_j_aux [in CFEM.matrix_model]
upd_Znth_column_major [in CFEM.verif_densemat]

V

val_of_optfloat_column_major [in CFEM.verif_densemat]
vector_sub_congr [in CFEM.floatlib]

Z

Zlength_column_major [in CFEM.verif_densemat]
Zlength_ord_enum [in CFEM.verif_densemat]
Zlength_seq [in CFEM.floatlib]
Zmatrix_rows_nat [in CFEM.floatlib]
Zmatrix_cols_nat [in CFEM.floatlib]
Znth_column_major [in CFEM.verif_densemat]
Znth_ord_enum [in CFEM.verif_densemat]
Znth_vector_sub [in CFEM.floatlib]

---

Axiom Index

B

body_exit [in CFEM.verif_alloc]

---

Constructor Index

S

Sum_Any_perm [in CFEM.matrix_model]
Sum_Any_split [in CFEM.matrix_model]
Sum_Any_1 [in CFEM.matrix_model]
Sum_Any_0 [in CFEM.matrix_model]

---

Inductive Index

S

sum_any [in CFEM.matrix_model]

---

Instance Index

C

change_composite_env_alloc' [in CFEM.verif_densemat]
change_composite_env_alloc [in CFEM.verif_densemat]
CompSpecs [in CFEM.spec_densemat]
CompSpecs [in CFEM.spec_alloc]

M

Malloc [in CFEM.spec_alloc]

Z

zerof [in CFEM.matrix_model]
zerof [in CFEM.floatlib]

---

Definition Index

A

allocASI [in CFEM.spec_alloc]
allocVSU [in CFEM.verif_alloc]
alloc_internal_specs [in CFEM.verif_alloc]
alloc_imported_specs [in CFEM.verif_alloc]
alloc_E [in CFEM.verif_alloc]

B

backward_subst [in CFEM.matrix_model]
backward_subst_step [in CFEM.matrix_model]
blocksolve_spec [in CFEM.spec_densemat]

C

cholesky_jik_ij' [in CFEM.matrix_model]
cholesky_jik_upto [in CFEM.matrix_model]
cholesky_jik_spec [in CFEM.matrix_model]
cholesky_jik_ij [in CFEM.matrix_model]
column_major [in CFEM.spec_densemat]
composites [in CFEM.bandmat]
composites [in CFEM.shapes]
composites [in CFEM.assemble]
composites [in CFEM.quadrules]
composites [in CFEM.fem]
composites [in CFEM.element]
composites [in CFEM.alloc]
composites [in CFEM.densemat]
composites [in CFEM.mesh]
ctype_of_type [in CFEM.spec_densemat]

D

data_norm_spec [in CFEM.spec_densemat]
data_norm2_spec [in CFEM.spec_densemat]
densemat [in CFEM.spec_densemat]
densematASI [in CFEM.spec_densemat]
densematn [in CFEM.spec_densemat]
densematn_cfactor_outer_spec [in CFEM.spec_densemat]
densematn_cfactor_block_spec [in CFEM.spec_densemat]
densematn_lusolveT_spec [in CFEM.spec_densemat]
densematn_lufactor_spec [in CFEM.spec_densemat]
densematn_lusolve_spec [in CFEM.spec_densemat]
densematn_print_spec [in CFEM.spec_densemat]
densematn_lujac_spec [in CFEM.spec_densemat]
densematn_csolve_spec [in CFEM.spec_densemat]
densematn_cfactor_spec [in CFEM.spec_densemat]
densematn_addto_spec [in CFEM.spec_densemat]
densematn_set_spec [in CFEM.spec_densemat]
densematn_get_spec [in CFEM.spec_densemat]
densematn_clear_spec [in CFEM.spec_densemat]
densematn_local_facts [in CFEM.spec_densemat]
densematVSU [in CFEM.verif_densemat]
densemat_lusolveT_spec [in CFEM.spec_densemat]
densemat_lufactor_spec [in CFEM.spec_densemat]
densemat_lusolve_spec [in CFEM.spec_densemat]
densemat_print_spec [in CFEM.spec_densemat]
densemat_lujac_spec [in CFEM.spec_densemat]
densemat_csolve_spec [in CFEM.spec_densemat]
densemat_cfactor_spec [in CFEM.spec_densemat]
densemat_norm_spec [in CFEM.spec_densemat]
densemat_norm2_spec [in CFEM.spec_densemat]
densemat_addto_spec [in CFEM.spec_densemat]
densemat_set_spec [in CFEM.spec_densemat]
densemat_get_spec [in CFEM.spec_densemat]
densemat_clear_spec [in CFEM.spec_densemat]
densemat_free_spec [in CFEM.spec_densemat]
densemat_malloc_spec [in CFEM.spec_densemat]
densemat_local_facts [in CFEM.spec_densemat]
densemat_data_offset [in CFEM.spec_densemat]
densemat_t [in CFEM.spec_densemat]
densemat_internal_specs [in CFEM.verif_densemat]
densemat_imported_specs [in CFEM.verif_densemat]
densemat_E [in CFEM.verif_densemat]
dotprod [in CFEM.floatlib]
double_clear_spec [in CFEM.spec_alloc]
double_calloc_spec [in CFEM.spec_alloc]

E

exit_spec [in CFEM.spec_alloc]

F

faster_matrix_transpose [in CFEM.floatlib]
faster_transpose' [in CFEM.floatlib]
forward_subst [in CFEM.matrix_model]
forward_subst_step [in CFEM.matrix_model]
frobenius_norm [in CFEM.spec_densemat]
frobenius_norm2 [in CFEM.spec_densemat]
f_bandmat_norm [in CFEM.bandmat]
f_bandmat_norm2 [in CFEM.bandmat]
f_bandmat_solve [in CFEM.bandmat]
f_bandmat_factor [in CFEM.bandmat]
f_bandmat_print [in CFEM.bandmat]
f_dense_to_band [in CFEM.bandmat]
f_bandmat_addto [in CFEM.bandmat]
f_bandmat_set [in CFEM.bandmat]
f_bandmat_get [in CFEM.bandmat]
f_bandmatn_addto [in CFEM.bandmat]
f_bandmatn_set [in CFEM.bandmat]
f_bandmatn_get [in CFEM.bandmat]
f_bandmat_clear [in CFEM.bandmat]
f_bandmatn_clear [in CFEM.bandmat]
f_bandmat_free [in CFEM.bandmat]
f_bandmat_malloc [in CFEM.bandmat]
f_shapes2dT1 [in CFEM.shapes]
f_shapes2dS2 [in CFEM.shapes]
f_shapes2dP2 [in CFEM.shapes]
f_shapes2dP1 [in CFEM.shapes]
f_shapes1dP3 [in CFEM.shapes]
f_shapes1dP2 [in CFEM.shapes]
f_shapes1dP1 [in CFEM.shapes]
f_assemble_vector [in CFEM.assemble]
f_assemble_bandmat_add [in CFEM.assemble]
f_assemble_dense_add [in CFEM.assemble]
f_init_assemble_band [in CFEM.assemble]
f_casted_bandmat_print [in CFEM.assemble]
f_casted_bandmat_norm2 [in CFEM.assemble]
f_casted_bandmat_clear [in CFEM.assemble]
f_init_assemble_dense [in CFEM.assemble]
f_casted_densemat_print [in CFEM.assemble]
f_casted_densemat_norm2 [in CFEM.assemble]
f_casted_densemat_clear [in CFEM.assemble]
f_assemble_print [in CFEM.assemble]
f_assemble_norm [in CFEM.assemble]
f_assemble_norm2 [in CFEM.assemble]
f_assemble_clear [in CFEM.assemble]
f_assemble_add [in CFEM.assemble]
f_hughes_weight [in CFEM.quadrules]
f_hughes_point [in CFEM.quadrules]
f_gauss2d_weight [in CFEM.quadrules]
f_gauss2d_point [in CFEM.quadrules]
f_gauss2d_npoint1d [in CFEM.quadrules]
f_gauss_weight [in CFEM.quadrules]
f_gauss_point [in CFEM.quadrules]
f_fem_print [in CFEM.fem]
f_fem_assemble_dense [in CFEM.fem]
f_fem_assemble_band [in CFEM.fem]
f_fem_assemble [in CFEM.fem]
f_fem_set_load [in CFEM.fem]
f_fem_update_U [in CFEM.fem]
f_fem_assign_ids [in CFEM.fem]
f_fem_free [in CFEM.fem]
f_fem_malloc [in CFEM.fem]
f_poisson2d_elt_dR [in CFEM.element]
f_get_quad2d [in CFEM.element]
f_poisson1d_elt_dR [in CFEM.element]
f_simple_elt_free [in CFEM.element]
f_malloc_poisson2d_element [in CFEM.element]
f_malloc_poisson1d_element [in CFEM.element]
f_element_free [in CFEM.element]
f_element_dR [in CFEM.element]
f_int_calloc [in CFEM.alloc]
f_double_calloc [in CFEM.alloc]
f_double_clear [in CFEM.alloc]
f_surely_malloc [in CFEM.alloc]
f_densemat_norm [in CFEM.densemat]
f_densemat_norm2 [in CFEM.densemat]
f_data_norm [in CFEM.densemat]
f_data_norm2 [in CFEM.densemat]
f_densemat_lujac [in CFEM.densemat]
f_densemat_lusolveT [in CFEM.densemat]
f_densemat_lusolve [in CFEM.densemat]
f_densemat_lufactor [in CFEM.densemat]
f_densematn_lujac [in CFEM.densemat]
f_densematn_lusolveT [in CFEM.densemat]
f_densematn_lusolve [in CFEM.densemat]
f_densematn_lufactor [in CFEM.densemat]
f_densemat_csolve [in CFEM.densemat]
f_densematn_csolve [in CFEM.densemat]
f_densemat_cfactor [in CFEM.densemat]
f_densematn_cfactor_block [in CFEM.densemat]
f_subtractoff [in CFEM.densemat]
f_blocksolve [in CFEM.densemat]
f_densematn_cfactor_outer [in CFEM.densemat]
f_densematn_cfactor [in CFEM.densemat]
f_densemat_print [in CFEM.densemat]
f_densematn_print [in CFEM.densemat]
f_densemat_addto [in CFEM.densemat]
f_densemat_set [in CFEM.densemat]
f_densemat_get [in CFEM.densemat]
f_densematn_addto [in CFEM.densemat]
f_densematn_set [in CFEM.densemat]
f_densematn_get [in CFEM.densemat]
f_densemat_clear [in CFEM.densemat]
f_densematn_clear [in CFEM.densemat]
f_densemat_free [in CFEM.densemat]
f_densemat_malloc [in CFEM.densemat]
f_mesh_print [in CFEM.mesh]
f_mesh_print_elt [in CFEM.mesh]
f_mesh_print_nodes [in CFEM.mesh]
f_mesh_shapes [in CFEM.mesh]
f_mesh_to_spatial [in CFEM.mesh]
f_mesh_block2d_T1 [in CFEM.mesh]
f_mesh_block2d_S2 [in CFEM.mesh]
f_mesh_block2d_P2 [in CFEM.mesh]
f_mesh_block2d_P1 [in CFEM.mesh]
f_mesh_create1d [in CFEM.mesh]
f_mesh_free [in CFEM.mesh]
f_mesh_malloc [in CFEM.mesh]

G

global_definitions [in CFEM.bandmat]
global_definitions [in CFEM.shapes]
global_definitions [in CFEM.assemble]
global_definitions [in CFEM.quadrules]
global_definitions [in CFEM.fem]
global_definitions [in CFEM.element]
global_definitions [in CFEM.alloc]
global_definitions [in CFEM.densemat]
global_definitions [in CFEM.mesh]
Gprog [in CFEM.verif_alloc]
Gprog [in CFEM.verif_densemat]

I

Info.abi [in CFEM.bandmat]
Info.abi [in CFEM.shapes]
Info.abi [in CFEM.assemble]
Info.abi [in CFEM.quadrules]
Info.abi [in CFEM.fem]
Info.abi [in CFEM.element]
Info.abi [in CFEM.alloc]
Info.abi [in CFEM.densemat]
Info.abi [in CFEM.mesh]
Info.arch [in CFEM.bandmat]
Info.arch [in CFEM.shapes]
Info.arch [in CFEM.assemble]
Info.arch [in CFEM.quadrules]
Info.arch [in CFEM.fem]
Info.arch [in CFEM.element]
Info.arch [in CFEM.alloc]
Info.arch [in CFEM.densemat]
Info.arch [in CFEM.mesh]
Info.big_endian [in CFEM.bandmat]
Info.big_endian [in CFEM.shapes]
Info.big_endian [in CFEM.assemble]
Info.big_endian [in CFEM.quadrules]
Info.big_endian [in CFEM.fem]
Info.big_endian [in CFEM.element]
Info.big_endian [in CFEM.alloc]
Info.big_endian [in CFEM.densemat]
Info.big_endian [in CFEM.mesh]
Info.bitsize [in CFEM.bandmat]
Info.bitsize [in CFEM.shapes]
Info.bitsize [in CFEM.assemble]
Info.bitsize [in CFEM.quadrules]
Info.bitsize [in CFEM.fem]
Info.bitsize [in CFEM.element]
Info.bitsize [in CFEM.alloc]
Info.bitsize [in CFEM.densemat]
Info.bitsize [in CFEM.mesh]
Info.build_branch [in CFEM.bandmat]
Info.build_tag [in CFEM.bandmat]
Info.build_number [in CFEM.bandmat]
Info.build_branch [in CFEM.shapes]
Info.build_tag [in CFEM.shapes]
Info.build_number [in CFEM.shapes]
Info.build_branch [in CFEM.assemble]
Info.build_tag [in CFEM.assemble]
Info.build_number [in CFEM.assemble]
Info.build_branch [in CFEM.quadrules]
Info.build_tag [in CFEM.quadrules]
Info.build_number [in CFEM.quadrules]
Info.build_branch [in CFEM.fem]
Info.build_tag [in CFEM.fem]
Info.build_number [in CFEM.fem]
Info.build_branch [in CFEM.element]
Info.build_tag [in CFEM.element]
Info.build_number [in CFEM.element]
Info.build_branch [in CFEM.alloc]
Info.build_tag [in CFEM.alloc]
Info.build_number [in CFEM.alloc]
Info.build_branch [in CFEM.densemat]
Info.build_tag [in CFEM.densemat]
Info.build_number [in CFEM.densemat]
Info.build_branch [in CFEM.mesh]
Info.build_tag [in CFEM.mesh]
Info.build_number [in CFEM.mesh]
Info.model [in CFEM.bandmat]
Info.model [in CFEM.shapes]
Info.model [in CFEM.assemble]
Info.model [in CFEM.quadrules]
Info.model [in CFEM.fem]
Info.model [in CFEM.element]
Info.model [in CFEM.alloc]
Info.model [in CFEM.densemat]
Info.model [in CFEM.mesh]
Info.normalized [in CFEM.bandmat]
Info.normalized [in CFEM.shapes]
Info.normalized [in CFEM.assemble]
Info.normalized [in CFEM.quadrules]
Info.normalized [in CFEM.fem]
Info.normalized [in CFEM.element]
Info.normalized [in CFEM.alloc]
Info.normalized [in CFEM.densemat]
Info.normalized [in CFEM.mesh]
Info.source_file [in CFEM.bandmat]
Info.source_file [in CFEM.shapes]
Info.source_file [in CFEM.assemble]
Info.source_file [in CFEM.quadrules]
Info.source_file [in CFEM.fem]
Info.source_file [in CFEM.element]
Info.source_file [in CFEM.alloc]
Info.source_file [in CFEM.densemat]
Info.source_file [in CFEM.mesh]
Info.version [in CFEM.bandmat]
Info.version [in CFEM.shapes]
Info.version [in CFEM.assemble]
Info.version [in CFEM.quadrules]
Info.version [in CFEM.fem]
Info.version [in CFEM.element]
Info.version [in CFEM.alloc]
Info.version [in CFEM.densemat]
Info.version [in CFEM.mesh]
int_calloc_spec [in CFEM.spec_alloc]

J

joinLU [in CFEM.matrix_model]

L

lshift1 [in CFEM.matrix_model]

M

map2 [in CFEM.floatlib]
matrix [in CFEM.floatlib]
matrix_transpose [in CFEM.floatlib]
matrix_cols_nat [in CFEM.floatlib]
matrix_rows_nat [in CFEM.floatlib]
matrix_by_index [in CFEM.floatlib]
matrix_index [in CFEM.floatlib]
matrix_add [in CFEM.floatlib]
matrix_rows [in CFEM.floatlib]
matrix_cols [in CFEM.floatlib]
matrix_matrix_mult [in CFEM.floatlib]
matrix_vector_mult [in CFEM.floatlib]
mirror_UT [in CFEM.matrix_model]

N

nan1 [in CFEM.spec_densemat]
neg_zero [in CFEM.matrix_model]
norm2 [in CFEM.floatlib]

O

opp_matrix [in CFEM.floatlib]
optfloat_to_float [in CFEM.spec_densemat]

P

prog [in CFEM.bandmat]
prog [in CFEM.shapes]
prog [in CFEM.assemble]
prog [in CFEM.quadrules]
prog [in CFEM.fem]
prog [in CFEM.element]
prog [in CFEM.alloc]
prog [in CFEM.densemat]
prog [in CFEM.mesh]
public_idents [in CFEM.bandmat]
public_idents [in CFEM.shapes]
public_idents [in CFEM.assemble]
public_idents [in CFEM.quadrules]
public_idents [in CFEM.fem]
public_idents [in CFEM.element]
public_idents [in CFEM.alloc]
public_idents [in CFEM.densemat]
public_idents [in CFEM.mesh]

R

reptype_ftype [in CFEM.spec_densemat]

S

subtractoff_spec [in CFEM.spec_densemat]
subtract_loop' [in CFEM.matrix_model]
subtract_loop [in CFEM.matrix_model]
sum_any_sind [in CFEM.matrix_model]
sum_any_ind [in CFEM.matrix_model]
surely_malloc_spec [in CFEM.spec_alloc]
surely_malloc_spec' [in CFEM.spec_alloc]

T

the_type [in CFEM.spec_densemat]
the_ctype [in CFEM.spec_densemat]

U

update_mx [in CFEM.matrix_model]

V

val_of_optfloat [in CFEM.spec_densemat]
val_of_float [in CFEM.spec_densemat]
vector [in CFEM.floatlib]
vector_sub [in CFEM.floatlib]
vector_add [in CFEM.floatlib]
Vprog [in CFEM.spec_densemat]
Vprog [in CFEM.spec_alloc]
v___stringlit_4 [in CFEM.bandmat]
v___stringlit_2 [in CFEM.bandmat]
v___stringlit_5 [in CFEM.bandmat]
v___stringlit_1 [in CFEM.bandmat]
v___stringlit_3 [in CFEM.bandmat]
v___stringlit_3 [in CFEM.assemble]
v___stringlit_1 [in CFEM.assemble]
v___stringlit_2 [in CFEM.assemble]
v___stderrp [in CFEM.quadrules]
v___stringlit_2 [in CFEM.quadrules]
v___stringlit_1 [in CFEM.quadrules]
v___stringlit_2 [in CFEM.fem]
v___stringlit_1 [in CFEM.fem]
v___stringlit_9 [in CFEM.fem]
v___stringlit_3 [in CFEM.fem]
v___stringlit_5 [in CFEM.fem]
v___stringlit_6 [in CFEM.fem]
v___stringlit_4 [in CFEM.fem]
v___stringlit_7 [in CFEM.fem]
v___stringlit_8 [in CFEM.fem]
v___stringlit_1 [in CFEM.element]
v___stringlit_3 [in CFEM.element]
v___stringlit_2 [in CFEM.element]
v___stringlit_2 [in CFEM.densemat]
v___stringlit_5 [in CFEM.densemat]
v___stringlit_3 [in CFEM.densemat]
v___stringlit_7 [in CFEM.densemat]
v___stringlit_6 [in CFEM.densemat]
v___stringlit_4 [in CFEM.densemat]
v___stringlit_1 [in CFEM.densemat]
v___stringlit_12 [in CFEM.mesh]
v___stringlit_8 [in CFEM.mesh]
v___stringlit_5 [in CFEM.mesh]
v___stringlit_1 [in CFEM.mesh]
v___stringlit_6 [in CFEM.mesh]
v___stringlit_7 [in CFEM.mesh]
v___stringlit_3 [in CFEM.mesh]
v___stringlit_2 [in CFEM.mesh]
v___stringlit_10 [in CFEM.mesh]
v___stringlit_4 [in CFEM.mesh]
v___stringlit_9 [in CFEM.mesh]
v___stringlit_11 [in CFEM.mesh]

_

_t'9 [in CFEM.bandmat]
_t'8 [in CFEM.bandmat]
_t'7 [in CFEM.bandmat]
_t'6 [in CFEM.bandmat]
_t'5 [in CFEM.bandmat]
_t'4 [in CFEM.bandmat]
_t'3 [in CFEM.bandmat]
_t'2 [in CFEM.bandmat]
_t'1 [in CFEM.bandmat]
_yi [in CFEM.bandmat]
_x [in CFEM.bandmat]
_vm [in CFEM.bandmat]
_surely_malloc [in CFEM.bandmat]
_sqrt [in CFEM.bandmat]
_rows [in CFEM.bandmat]
_printf [in CFEM.bandmat]
_n [in CFEM.bandmat]
_memset [in CFEM.bandmat]
_main [in CFEM.bandmat]
_m [in CFEM.bandmat]
_k [in CFEM.bandmat]
_j__1 [in CFEM.bandmat]
_j [in CFEM.bandmat]
_i__1 [in CFEM.bandmat]
_i [in CFEM.bandmat]
_free [in CFEM.bandmat]
_dm [in CFEM.bandmat]
_dj [in CFEM.bandmat]
_densemat_t [in CFEM.bandmat]
_densemat_get [in CFEM.bandmat]
_dense_to_band [in CFEM.bandmat]
_data_norm2 [in CFEM.bandmat]
_data_norm [in CFEM.bandmat]
_data [in CFEM.bandmat]
_d [in CFEM.bandmat]
_bw [in CFEM.bandmat]
_bi [in CFEM.bandmat]
_bandmatn_set [in CFEM.bandmat]
_bandmatn_get [in CFEM.bandmat]
_bandmatn_clear [in CFEM.bandmat]
_bandmatn_addto [in CFEM.bandmat]
_bandmat_t [in CFEM.bandmat]
_bandmat_solve [in CFEM.bandmat]
_bandmat_set [in CFEM.bandmat]
_bandmat_print [in CFEM.bandmat]
_bandmat_norm2 [in CFEM.bandmat]
_bandmat_norm [in CFEM.bandmat]
_bandmat_malloc [in CFEM.bandmat]
_bandmat_get [in CFEM.bandmat]
_bandmat_free [in CFEM.bandmat]
_bandmat_factor [in CFEM.bandmat]
_bandmat_clear [in CFEM.bandmat]
_bandmat_addto [in CFEM.bandmat]
_b [in CFEM.bandmat]
_abort [in CFEM.bandmat]
___stringlit_5 [in CFEM.bandmat]
___stringlit_4 [in CFEM.bandmat]
___stringlit_3 [in CFEM.bandmat]
___stringlit_2 [in CFEM.bandmat]
___stringlit_1 [in CFEM.bandmat]
___compcert_va_int64 [in CFEM.bandmat]
___compcert_va_int32 [in CFEM.bandmat]
___compcert_va_float64 [in CFEM.bandmat]
___compcert_va_composite [in CFEM.bandmat]
___compcert_i64_utof [in CFEM.bandmat]
___compcert_i64_utod [in CFEM.bandmat]
___compcert_i64_umulh [in CFEM.bandmat]
___compcert_i64_umod [in CFEM.bandmat]
___compcert_i64_udiv [in CFEM.bandmat]
___compcert_i64_stof [in CFEM.bandmat]
___compcert_i64_stod [in CFEM.bandmat]
___compcert_i64_smulh [in CFEM.bandmat]
___compcert_i64_smod [in CFEM.bandmat]
___compcert_i64_shr [in CFEM.bandmat]
___compcert_i64_shl [in CFEM.bandmat]
___compcert_i64_sdiv [in CFEM.bandmat]
___compcert_i64_sar [in CFEM.bandmat]
___compcert_i64_dtou [in CFEM.bandmat]
___compcert_i64_dtos [in CFEM.bandmat]
___builtin_va_start [in CFEM.bandmat]
___builtin_va_end [in CFEM.bandmat]
___builtin_va_copy [in CFEM.bandmat]
___builtin_va_arg [in CFEM.bandmat]
___builtin_unreachable [in CFEM.bandmat]
___builtin_sqrt [in CFEM.bandmat]
___builtin_sel [in CFEM.bandmat]
___builtin_memcpy_aligned [in CFEM.bandmat]
___builtin_membar [in CFEM.bandmat]
___builtin_fsqrt [in CFEM.bandmat]
___builtin_fnmsub [in CFEM.bandmat]
___builtin_fnmadd [in CFEM.bandmat]
___builtin_fmsub [in CFEM.bandmat]
___builtin_fmin [in CFEM.bandmat]
___builtin_fmax [in CFEM.bandmat]
___builtin_fmadd [in CFEM.bandmat]
___builtin_fabsf [in CFEM.bandmat]
___builtin_fabs [in CFEM.bandmat]
___builtin_expect [in CFEM.bandmat]
___builtin_debug [in CFEM.bandmat]
___builtin_ctzll [in CFEM.bandmat]
___builtin_ctzl [in CFEM.bandmat]
___builtin_ctz [in CFEM.bandmat]
___builtin_clzll [in CFEM.bandmat]
___builtin_clzl [in CFEM.bandmat]
___builtin_clz [in CFEM.bandmat]
___builtin_clsll [in CFEM.bandmat]
___builtin_clsl [in CFEM.bandmat]
___builtin_cls [in CFEM.bandmat]
___builtin_bswap64 [in CFEM.bandmat]
___builtin_bswap32 [in CFEM.bandmat]
___builtin_bswap16 [in CFEM.bandmat]
___builtin_bswap [in CFEM.bandmat]
___builtin_annot_intval [in CFEM.bandmat]
___builtin_annot [in CFEM.bandmat]
_PR [in CFEM.bandmat]
_PA [in CFEM.bandmat]
_P [in CFEM.bandmat]
_A [in CFEM.bandmat]
_t'9 [in CFEM.shapes]
_t'8 [in CFEM.shapes]
_t'7 [in CFEM.shapes]
_t'6 [in CFEM.shapes]
_t'54 [in CFEM.shapes]
_t'53 [in CFEM.shapes]
_t'52 [in CFEM.shapes]
_t'51 [in CFEM.shapes]
_t'50 [in CFEM.shapes]
_t'5 [in CFEM.shapes]
_t'49 [in CFEM.shapes]
_t'48 [in CFEM.shapes]
_t'47 [in CFEM.shapes]
_t'46 [in CFEM.shapes]
_t'45 [in CFEM.shapes]
_t'44 [in CFEM.shapes]
_t'43 [in CFEM.shapes]
_t'42 [in CFEM.shapes]
_t'41 [in CFEM.shapes]
_t'40 [in CFEM.shapes]
_t'4 [in CFEM.shapes]
_t'39 [in CFEM.shapes]
_t'38 [in CFEM.shapes]
_t'37 [in CFEM.shapes]
_t'36 [in CFEM.shapes]
_t'35 [in CFEM.shapes]
_t'34 [in CFEM.shapes]
_t'33 [in CFEM.shapes]
_t'32 [in CFEM.shapes]
_t'31 [in CFEM.shapes]
_t'30 [in CFEM.shapes]
_t'3 [in CFEM.shapes]
_t'29 [in CFEM.shapes]
_t'28 [in CFEM.shapes]
_t'27 [in CFEM.shapes]
_t'26 [in CFEM.shapes]
_t'25 [in CFEM.shapes]
_t'24 [in CFEM.shapes]
_t'23 [in CFEM.shapes]
_t'22 [in CFEM.shapes]
_t'21 [in CFEM.shapes]
_t'20 [in CFEM.shapes]
_t'2 [in CFEM.shapes]
_t'19 [in CFEM.shapes]
_t'18 [in CFEM.shapes]
_t'17 [in CFEM.shapes]
_t'16 [in CFEM.shapes]
_t'15 [in CFEM.shapes]
_t'14 [in CFEM.shapes]
_t'13 [in CFEM.shapes]
_t'12 [in CFEM.shapes]
_t'11 [in CFEM.shapes]
_t'10 [in CFEM.shapes]
_t'1 [in CFEM.shapes]
_xx [in CFEM.shapes]
_x [in CFEM.shapes]
_shapes2dT1 [in CFEM.shapes]
_shapes2dS2 [in CFEM.shapes]
_shapes2dP2 [in CFEM.shapes]
_shapes2dP1 [in CFEM.shapes]
_shapes1dP3 [in CFEM.shapes]
_shapes1dP2 [in CFEM.shapes]
_shapes1dP1 [in CFEM.shapes]
_main [in CFEM.shapes]
_dNy [in CFEM.shapes]
_dNx [in CFEM.shapes]
_dN [in CFEM.shapes]
___compcert_va_int64 [in CFEM.shapes]
___compcert_va_int32 [in CFEM.shapes]
___compcert_va_float64 [in CFEM.shapes]
___compcert_va_composite [in CFEM.shapes]
___compcert_i64_utof [in CFEM.shapes]
___compcert_i64_utod [in CFEM.shapes]
___compcert_i64_umulh [in CFEM.shapes]
___compcert_i64_umod [in CFEM.shapes]
___compcert_i64_udiv [in CFEM.shapes]
___compcert_i64_stof [in CFEM.shapes]
___compcert_i64_stod [in CFEM.shapes]
___compcert_i64_smulh [in CFEM.shapes]
___compcert_i64_smod [in CFEM.shapes]
___compcert_i64_shr [in CFEM.shapes]
___compcert_i64_shl [in CFEM.shapes]
___compcert_i64_sdiv [in CFEM.shapes]
___compcert_i64_sar [in CFEM.shapes]
___compcert_i64_dtou [in CFEM.shapes]
___compcert_i64_dtos [in CFEM.shapes]
___builtin_va_start [in CFEM.shapes]
___builtin_va_end [in CFEM.shapes]
___builtin_va_copy [in CFEM.shapes]
___builtin_va_arg [in CFEM.shapes]
___builtin_unreachable [in CFEM.shapes]
___builtin_sqrt [in CFEM.shapes]
___builtin_sel [in CFEM.shapes]
___builtin_memcpy_aligned [in CFEM.shapes]
___builtin_membar [in CFEM.shapes]
___builtin_fsqrt [in CFEM.shapes]
___builtin_fnmsub [in CFEM.shapes]
___builtin_fnmadd [in CFEM.shapes]
___builtin_fmsub [in CFEM.shapes]
___builtin_fmin [in CFEM.shapes]
___builtin_fmax [in CFEM.shapes]
___builtin_fmadd [in CFEM.shapes]
___builtin_fabsf [in CFEM.shapes]
___builtin_fabs [in CFEM.shapes]
___builtin_expect [in CFEM.shapes]
___builtin_debug [in CFEM.shapes]
___builtin_ctzll [in CFEM.shapes]
___builtin_ctzl [in CFEM.shapes]
___builtin_ctz [in CFEM.shapes]
___builtin_clzll [in CFEM.shapes]
___builtin_clzl [in CFEM.shapes]
___builtin_clz [in CFEM.shapes]
___builtin_clsll [in CFEM.shapes]
___builtin_clsl [in CFEM.shapes]
___builtin_cls [in CFEM.shapes]
___builtin_bswap64 [in CFEM.shapes]
___builtin_bswap32 [in CFEM.shapes]
___builtin_bswap16 [in CFEM.shapes]
___builtin_bswap [in CFEM.shapes]
___builtin_annot_intval [in CFEM.shapes]
___builtin_annot [in CFEM.shapes]
_Ny [in CFEM.shapes]
_Nx [in CFEM.shapes]
_N [in CFEM.shapes]
_t'3 [in CFEM.assemble]
_t'2 [in CFEM.assemble]
_t'1 [in CFEM.assemble]
_ve [in CFEM.assemble]
_v [in CFEM.assemble]
_sqrt [in CFEM.assemble]
_printf [in CFEM.assemble]
_print [in CFEM.assemble]
_p [in CFEM.assemble]
_norm2 [in CFEM.assemble]
_ne [in CFEM.assemble]
_n [in CFEM.assemble]
_main [in CFEM.assemble]
_m [in CFEM.assemble]
_je [in CFEM.assemble]
_j [in CFEM.assemble]
_init_assemble_dense [in CFEM.assemble]
_init_assemble_band [in CFEM.assemble]
_ie [in CFEM.assemble]
_ids [in CFEM.assemble]
_i [in CFEM.assemble]
_emat [in CFEM.assemble]
_densemat_t [in CFEM.assemble]
_densemat_print [in CFEM.assemble]
_densemat_norm2 [in CFEM.assemble]
_densemat_clear [in CFEM.assemble]
_densemat_addto [in CFEM.assemble]
_data [in CFEM.assemble]
_d [in CFEM.assemble]
_clear [in CFEM.assemble]
_casted_densemat_print [in CFEM.assemble]
_casted_densemat_norm2 [in CFEM.assemble]
_casted_densemat_clear [in CFEM.assemble]
_casted_bandmat_print [in CFEM.assemble]
_casted_bandmat_norm2 [in CFEM.assemble]
_casted_bandmat_clear [in CFEM.assemble]
_bandmat_t [in CFEM.assemble]
_bandmat_print [in CFEM.assemble]
_bandmat_norm2 [in CFEM.assemble]
_bandmat_clear [in CFEM.assemble]
_bandmat_addto [in CFEM.assemble]
_b [in CFEM.assemble]
_assembler [in CFEM.assemble]
_assemble_vector [in CFEM.assemble]
_assemble_t [in CFEM.assemble]
_assemble_print [in CFEM.assemble]
_assemble_norm2 [in CFEM.assemble]
_assemble_norm [in CFEM.assemble]
_assemble_dense_add [in CFEM.assemble]
_assemble_data_t [in CFEM.assemble]
_assemble_clear [in CFEM.assemble]
_assemble_bandmat_add [in CFEM.assemble]
_assemble_add [in CFEM.assemble]
_add [in CFEM.assemble]
_abort [in CFEM.assemble]
___stringlit_3 [in CFEM.assemble]
___stringlit_2 [in CFEM.assemble]
___stringlit_1 [in CFEM.assemble]
___compcert_va_int64 [in CFEM.assemble]
___compcert_va_int32 [in CFEM.assemble]
___compcert_va_float64 [in CFEM.assemble]
___compcert_va_composite [in CFEM.assemble]
___compcert_i64_utof [in CFEM.assemble]
___compcert_i64_utod [in CFEM.assemble]
___compcert_i64_umulh [in CFEM.assemble]
___compcert_i64_umod [in CFEM.assemble]
___compcert_i64_udiv [in CFEM.assemble]
___compcert_i64_stof [in CFEM.assemble]
___compcert_i64_stod [in CFEM.assemble]
___compcert_i64_smulh [in CFEM.assemble]
___compcert_i64_smod [in CFEM.assemble]
___compcert_i64_shr [in CFEM.assemble]
___compcert_i64_shl [in CFEM.assemble]
___compcert_i64_sdiv [in CFEM.assemble]
___compcert_i64_sar [in CFEM.assemble]
___compcert_i64_dtou [in CFEM.assemble]
___compcert_i64_dtos [in CFEM.assemble]
___builtin_va_start [in CFEM.assemble]
___builtin_va_end [in CFEM.assemble]
___builtin_va_copy [in CFEM.assemble]
___builtin_va_arg [in CFEM.assemble]
___builtin_unreachable [in CFEM.assemble]
___builtin_sqrt [in CFEM.assemble]
___builtin_sel [in CFEM.assemble]
___builtin_memcpy_aligned [in CFEM.assemble]
___builtin_membar [in CFEM.assemble]
___builtin_fsqrt [in CFEM.assemble]
___builtin_fnmsub [in CFEM.assemble]
___builtin_fnmadd [in CFEM.assemble]
___builtin_fmsub [in CFEM.assemble]
___builtin_fmin [in CFEM.assemble]
___builtin_fmax [in CFEM.assemble]
___builtin_fmadd [in CFEM.assemble]
___builtin_fabsf [in CFEM.assemble]
___builtin_fabs [in CFEM.assemble]
___builtin_expect [in CFEM.assemble]
___builtin_debug [in CFEM.assemble]
___builtin_ctzll [in CFEM.assemble]
___builtin_ctzl [in CFEM.assemble]
___builtin_ctz [in CFEM.assemble]
___builtin_clzll [in CFEM.assemble]
___builtin_clzl [in CFEM.assemble]
___builtin_clz [in CFEM.assemble]
___builtin_clsll [in CFEM.assemble]
___builtin_clsl [in CFEM.assemble]
___builtin_cls [in CFEM.assemble]
___builtin_bswap64 [in CFEM.assemble]
___builtin_bswap32 [in CFEM.assemble]
___builtin_bswap16 [in CFEM.assemble]
___builtin_bswap [in CFEM.assemble]
___builtin_annot_intval [in CFEM.assemble]
___builtin_annot [in CFEM.assemble]
_P [in CFEM.assemble]
_A [in CFEM.assemble]
_t'3 [in CFEM.quadrules]
_t'2 [in CFEM.quadrules]
_t'1 [in CFEM.quadrules]
_xi [in CFEM.quadrules]
_npts [in CFEM.quadrules]
_main [in CFEM.quadrules]
_iy [in CFEM.quadrules]
_ix [in CFEM.quadrules]
_i [in CFEM.quadrules]
_hughes_weight [in CFEM.quadrules]
_hughes_point [in CFEM.quadrules]
_gauss_wts [in CFEM.quadrules]
_gauss_weight [in CFEM.quadrules]
_gauss_pts [in CFEM.quadrules]
_gauss_point [in CFEM.quadrules]
_gauss2d_weight [in CFEM.quadrules]
_gauss2d_point [in CFEM.quadrules]
_gauss2d_npoint1d [in CFEM.quadrules]
_fprintf [in CFEM.quadrules]
_exit [in CFEM.quadrules]
_d [in CFEM.quadrules]
__write [in CFEM.quadrules]
__w [in CFEM.quadrules]
__ur [in CFEM.quadrules]
__ubuf [in CFEM.quadrules]
__ub [in CFEM.quadrules]
__size [in CFEM.quadrules]
__seek [in CFEM.quadrules]
__read [in CFEM.quadrules]
__r [in CFEM.quadrules]
__p [in CFEM.quadrules]
__offset [in CFEM.quadrules]
__nbuf [in CFEM.quadrules]
__lbfsize [in CFEM.quadrules]
__lb [in CFEM.quadrules]
__flags [in CFEM.quadrules]
__file [in CFEM.quadrules]
__extra [in CFEM.quadrules]
__cookie [in CFEM.quadrules]
__close [in CFEM.quadrules]
__blksize [in CFEM.quadrules]
__bf [in CFEM.quadrules]
__base [in CFEM.quadrules]
___stringlit_2 [in CFEM.quadrules]
___stringlit_1 [in CFEM.quadrules]
___stderrp [in CFEM.quadrules]
___sbuf [in CFEM.quadrules]
___sFILEX [in CFEM.quadrules]
___sFILE [in CFEM.quadrules]
___compcert_va_int64 [in CFEM.quadrules]
___compcert_va_int32 [in CFEM.quadrules]
___compcert_va_float64 [in CFEM.quadrules]
___compcert_va_composite [in CFEM.quadrules]
___compcert_i64_utof [in CFEM.quadrules]
___compcert_i64_utod [in CFEM.quadrules]
___compcert_i64_umulh [in CFEM.quadrules]
___compcert_i64_umod [in CFEM.quadrules]
___compcert_i64_udiv [in CFEM.quadrules]
___compcert_i64_stof [in CFEM.quadrules]
___compcert_i64_stod [in CFEM.quadrules]
___compcert_i64_smulh [in CFEM.quadrules]
___compcert_i64_smod [in CFEM.quadrules]
___compcert_i64_shr [in CFEM.quadrules]
___compcert_i64_shl [in CFEM.quadrules]
___compcert_i64_sdiv [in CFEM.quadrules]
___compcert_i64_sar [in CFEM.quadrules]
___compcert_i64_dtou [in CFEM.quadrules]
___compcert_i64_dtos [in CFEM.quadrules]
___builtin_va_start [in CFEM.quadrules]
___builtin_va_end [in CFEM.quadrules]
___builtin_va_copy [in CFEM.quadrules]
___builtin_va_arg [in CFEM.quadrules]
___builtin_unreachable [in CFEM.quadrules]
___builtin_sqrt [in CFEM.quadrules]
___builtin_sel [in CFEM.quadrules]
___builtin_memcpy_aligned [in CFEM.quadrules]
___builtin_membar [in CFEM.quadrules]
___builtin_fsqrt [in CFEM.quadrules]
___builtin_fnmsub [in CFEM.quadrules]
___builtin_fnmadd [in CFEM.quadrules]
___builtin_fmsub [in CFEM.quadrules]
___builtin_fmin [in CFEM.quadrules]
___builtin_fmax [in CFEM.quadrules]
___builtin_fmadd [in CFEM.quadrules]
___builtin_fabsf [in CFEM.quadrules]
___builtin_fabs [in CFEM.quadrules]
___builtin_expect [in CFEM.quadrules]
___builtin_debug [in CFEM.quadrules]
___builtin_ctzll [in CFEM.quadrules]
___builtin_ctzl [in CFEM.quadrules]
___builtin_ctz [in CFEM.quadrules]
___builtin_clzll [in CFEM.quadrules]
___builtin_clzl [in CFEM.quadrules]
___builtin_clz [in CFEM.quadrules]
___builtin_clsll [in CFEM.quadrules]
___builtin_clsl [in CFEM.quadrules]
___builtin_cls [in CFEM.quadrules]
___builtin_bswap64 [in CFEM.quadrules]
___builtin_bswap32 [in CFEM.quadrules]
___builtin_bswap16 [in CFEM.quadrules]
___builtin_bswap [in CFEM.quadrules]
___builtin_annot_intval [in CFEM.quadrules]
___builtin_annot [in CFEM.quadrules]
_t'9 [in CFEM.fem]
_t'8 [in CFEM.fem]
_t'7 [in CFEM.fem]
_t'6 [in CFEM.fem]
_t'5 [in CFEM.fem]
_t'4 [in CFEM.fem]
_t'3 [in CFEM.fem]
_t'24 [in CFEM.fem]
_t'23 [in CFEM.fem]
_t'22 [in CFEM.fem]
_t'21 [in CFEM.fem]
_t'20 [in CFEM.fem]
_t'2 [in CFEM.fem]
_t'19 [in CFEM.fem]
_t'18 [in CFEM.fem]
_t'17 [in CFEM.fem]
_t'16 [in CFEM.fem]
_t'15 [in CFEM.fem]
_t'14 [in CFEM.fem]
_t'13 [in CFEM.fem]
_t'12 [in CFEM.fem]
_t'11 [in CFEM.fem]
_t'10 [in CFEM.fem]
_t'1 [in CFEM.fem]
_surely_malloc [in CFEM.fem]
_shape [in CFEM.fem]
_printf [in CFEM.fem]
_print [in CFEM.fem]
_p [in CFEM.fem]
_numnp [in CFEM.fem]
_numelt [in CFEM.fem]
_norm2 [in CFEM.fem]
_next_id [in CFEM.fem]
_nen [in CFEM.fem]
_ndof [in CFEM.fem]
_nactive [in CFEM.fem]
_n [in CFEM.fem]
_mesh_t [in CFEM.fem]
_mesh_print_elt [in CFEM.fem]
_mesh_free [in CFEM.fem]
_mesh [in CFEM.fem]
_memset [in CFEM.fem]
_main [in CFEM.fem]
_m [in CFEM.fem]
_j__5 [in CFEM.fem]
_j__4 [in CFEM.fem]
_j__3 [in CFEM.fem]
_j__2 [in CFEM.fem]
_j__1 [in CFEM.fem]
_j [in CFEM.fem]
_int_calloc [in CFEM.fem]
_init_assemble_dense [in CFEM.fem]
_init_assemble_band [in CFEM.fem]
_ids [in CFEM.fem]
_id [in CFEM.fem]
_i [in CFEM.fem]
_free [in CFEM.fem]
_fem_update_U [in CFEM.fem]
_fem_t [in CFEM.fem]
_fem_set_load [in CFEM.fem]
_fem_print [in CFEM.fem]
_fem_malloc [in CFEM.fem]
_fem_free [in CFEM.fem]
_fem_assign_ids [in CFEM.fem]
_fem_assemble_dense [in CFEM.fem]
_fem_assemble_band [in CFEM.fem]
_fem_assemble [in CFEM.fem]
_fe [in CFEM.fem]
_f [in CFEM.fem]
_etype [in CFEM.fem]
_elt [in CFEM.fem]
_element_t [in CFEM.fem]
_element_dR [in CFEM.fem]
_du_red [in CFEM.fem]
_double_calloc [in CFEM.fem]
_densemat_t [in CFEM.fem]
_data [in CFEM.fem]
_dR [in CFEM.fem]
_d [in CFEM.fem]
_clear [in CFEM.fem]
_bandmat_t [in CFEM.fem]
_b [in CFEM.fem]
_assemble_vector [in CFEM.fem]
_assemble_t [in CFEM.fem]
_assemble_data_t [in CFEM.fem]
_assemble_clear [in CFEM.fem]
_assemble_add [in CFEM.fem]
_add [in CFEM.fem]
___stringlit_9 [in CFEM.fem]
___stringlit_8 [in CFEM.fem]
___stringlit_7 [in CFEM.fem]
___stringlit_6 [in CFEM.fem]
___stringlit_5 [in CFEM.fem]
___stringlit_4 [in CFEM.fem]
___stringlit_3 [in CFEM.fem]
___stringlit_2 [in CFEM.fem]
___stringlit_1 [in CFEM.fem]
___compcert_va_int64 [in CFEM.fem]
___compcert_va_int32 [in CFEM.fem]
___compcert_va_float64 [in CFEM.fem]
___compcert_va_composite [in CFEM.fem]
___compcert_i64_utof [in CFEM.fem]
___compcert_i64_utod [in CFEM.fem]
___compcert_i64_umulh [in CFEM.fem]
___compcert_i64_umod [in CFEM.fem]
___compcert_i64_udiv [in CFEM.fem]
___compcert_i64_stof [in CFEM.fem]
___compcert_i64_stod [in CFEM.fem]
___compcert_i64_smulh [in CFEM.fem]
___compcert_i64_smod [in CFEM.fem]
___compcert_i64_shr [in CFEM.fem]
___compcert_i64_shl [in CFEM.fem]
___compcert_i64_sdiv [in CFEM.fem]
___compcert_i64_sar [in CFEM.fem]
___compcert_i64_dtou [in CFEM.fem]
___compcert_i64_dtos [in CFEM.fem]
___builtin_va_start [in CFEM.fem]
___builtin_va_end [in CFEM.fem]
___builtin_va_copy [in CFEM.fem]
___builtin_va_arg [in CFEM.fem]
___builtin_unreachable [in CFEM.fem]
___builtin_sqrt [in CFEM.fem]
___builtin_sel [in CFEM.fem]
___builtin_memcpy_aligned [in CFEM.fem]
___builtin_membar [in CFEM.fem]
___builtin_fsqrt [in CFEM.fem]
___builtin_fnmsub [in CFEM.fem]
___builtin_fnmadd [in CFEM.fem]
___builtin_fmsub [in CFEM.fem]
___builtin_fmin [in CFEM.fem]
___builtin_fmax [in CFEM.fem]
___builtin_fmadd [in CFEM.fem]
___builtin_fabsf [in CFEM.fem]
___builtin_fabs [in CFEM.fem]
___builtin_expect [in CFEM.fem]
___builtin_debug [in CFEM.fem]
___builtin_ctzll [in CFEM.fem]
___builtin_ctzl [in CFEM.fem]
___builtin_ctz [in CFEM.fem]
___builtin_clzll [in CFEM.fem]
___builtin_clzl [in CFEM.fem]
___builtin_clz [in CFEM.fem]
___builtin_clsll [in CFEM.fem]
___builtin_clsl [in CFEM.fem]
___builtin_cls [in CFEM.fem]
___builtin_bswap64 [in CFEM.fem]
___builtin_bswap32 [in CFEM.fem]
___builtin_bswap16 [in CFEM.fem]
___builtin_bswap [in CFEM.fem]
___builtin_annot_intval [in CFEM.fem]
___builtin_annot [in CFEM.fem]
_X [in CFEM.fem]
_U [in CFEM.fem]
_Re [in CFEM.fem]
_R [in CFEM.fem]
_Ke [in CFEM.fem]
_Kassembler [in CFEM.fem]
_K [in CFEM.fem]
_F [in CFEM.fem]
_t'9 [in CFEM.element]
_t'8 [in CFEM.element]
_t'7 [in CFEM.element]
_t'6 [in CFEM.element]
_t'5 [in CFEM.element]
_t'4 [in CFEM.element]
_t'33 [in CFEM.element]
_t'32 [in CFEM.element]
_t'31 [in CFEM.element]
_t'30 [in CFEM.element]
_t'3 [in CFEM.element]
_t'29 [in CFEM.element]
_t'28 [in CFEM.element]
_t'27 [in CFEM.element]
_t'26 [in CFEM.element]
_t'25 [in CFEM.element]
_t'24 [in CFEM.element]
_t'23 [in CFEM.element]
_t'22 [in CFEM.element]
_t'21 [in CFEM.element]
_t'20 [in CFEM.element]
_t'2 [in CFEM.element]
_t'19 [in CFEM.element]
_t'18 [in CFEM.element]
_t'17 [in CFEM.element]
_t'16 [in CFEM.element]
_t'15 [in CFEM.element]
_t'14 [in CFEM.element]
_t'13 [in CFEM.element]
_t'12 [in CFEM.element]
_t'11 [in CFEM.element]
_t'10 [in CFEM.element]
_t'1 [in CFEM.element]
_x [in CFEM.element]
_wt [in CFEM.element]
_surely_malloc [in CFEM.element]
_simple_elt_free [in CFEM.element]
_shapes2dT1 [in CFEM.element]
_shapes2dS2 [in CFEM.element]
_shapes2dP2 [in CFEM.element]
_shapes2dP1 [in CFEM.element]
_shapefn [in CFEM.element]
_shape [in CFEM.element]
_quad_wt [in CFEM.element]
_quad_pt [in CFEM.element]
_printf [in CFEM.element]
_poisson_elt_t [in CFEM.element]
_poisson2d_elt_dR [in CFEM.element]
_poisson1d_elt_dR [in CFEM.element]
_p [in CFEM.element]
_numnp [in CFEM.element]
_numelt [in CFEM.element]
_nquad [in CFEM.element]
_nen [in CFEM.element]
_ndof [in CFEM.element]
_nactive [in CFEM.element]
_mesh_t [in CFEM.element]
_mesh_shapes [in CFEM.element]
_mesh [in CFEM.element]
_memset [in CFEM.element]
_malloc_poisson2d_element [in CFEM.element]
_malloc_poisson1d_element [in CFEM.element]
_main [in CFEM.element]
_le [in CFEM.element]
_k [in CFEM.element]
_j__1 [in CFEM.element]
_j [in CFEM.element]
_id [in CFEM.element]
_i__1 [in CFEM.element]
_i [in CFEM.element]
_hughes_weight [in CFEM.element]
_hughes_point [in CFEM.element]
_get_quad2d [in CFEM.element]
_gauss_weight [in CFEM.element]
_gauss_point [in CFEM.element]
_gauss2d_weight [in CFEM.element]
_gauss2d_point [in CFEM.element]
_fx [in CFEM.element]
_free [in CFEM.element]
_fem_t [in CFEM.element]
_fe [in CFEM.element]
_etype [in CFEM.element]
_eltid [in CFEM.element]
_elt [in CFEM.element]
_element_t [in CFEM.element]
_element_free [in CFEM.element]
_element_dR [in CFEM.element]
_e [in CFEM.element]
_du [in CFEM.element]
_degree [in CFEM.element]
_dR [in CFEM.element]
_dN [in CFEM.element]
_d [in CFEM.element]
_abort [in CFEM.element]
___stringlit_3 [in CFEM.element]
___stringlit_2 [in CFEM.element]
___stringlit_1 [in CFEM.element]
___compcert_va_int64 [in CFEM.element]
___compcert_va_int32 [in CFEM.element]
___compcert_va_float64 [in CFEM.element]
___compcert_va_composite [in CFEM.element]
___compcert_i64_utof [in CFEM.element]
___compcert_i64_utod [in CFEM.element]
___compcert_i64_umulh [in CFEM.element]
___compcert_i64_umod [in CFEM.element]
___compcert_i64_udiv [in CFEM.element]
___compcert_i64_stof [in CFEM.element]
___compcert_i64_stod [in CFEM.element]
___compcert_i64_smulh [in CFEM.element]
___compcert_i64_smod [in CFEM.element]
___compcert_i64_shr [in CFEM.element]
___compcert_i64_shl [in CFEM.element]
___compcert_i64_sdiv [in CFEM.element]
___compcert_i64_sar [in CFEM.element]
___compcert_i64_dtou [in CFEM.element]
___compcert_i64_dtos [in CFEM.element]
___builtin_va_start [in CFEM.element]
___builtin_va_end [in CFEM.element]
___builtin_va_copy [in CFEM.element]
___builtin_va_arg [in CFEM.element]
___builtin_unreachable [in CFEM.element]
___builtin_sqrt [in CFEM.element]
___builtin_sel [in CFEM.element]
___builtin_memcpy_aligned [in CFEM.element]
___builtin_membar [in CFEM.element]
___builtin_fsqrt [in CFEM.element]
___builtin_fnmsub [in CFEM.element]
___builtin_fnmadd [in CFEM.element]
___builtin_fmsub [in CFEM.element]
___builtin_fmin [in CFEM.element]
___builtin_fmax [in CFEM.element]
___builtin_fmadd [in CFEM.element]
___builtin_fabsf [in CFEM.element]
___builtin_fabs [in CFEM.element]
___builtin_expect [in CFEM.element]
___builtin_debug [in CFEM.element]
___builtin_ctzll [in CFEM.element]
___builtin_ctzl [in CFEM.element]
___builtin_ctz [in CFEM.element]
___builtin_clzll [in CFEM.element]
___builtin_clzl [in CFEM.element]
___builtin_clz [in CFEM.element]
___builtin_clsll [in CFEM.element]
___builtin_clsl [in CFEM.element]
___builtin_cls [in CFEM.element]
___builtin_bswap64 [in CFEM.element]
___builtin_bswap32 [in CFEM.element]
___builtin_bswap16 [in CFEM.element]
___builtin_bswap [in CFEM.element]
___builtin_annot_intval [in CFEM.element]
___builtin_annot [in CFEM.element]
_X [in CFEM.element]
_U [in CFEM.element]
_Re [in CFEM.element]
_N [in CFEM.element]
_Ke [in CFEM.element]
_J [in CFEM.element]
_F [in CFEM.element]
_t'1 [in CFEM.alloc]
_surely_malloc [in CFEM.alloc]
_p [in CFEM.alloc]
_n [in CFEM.alloc]
_malloc [in CFEM.alloc]
_main [in CFEM.alloc]
_int_calloc [in CFEM.alloc]
_i [in CFEM.alloc]
_free [in CFEM.alloc]
_exit [in CFEM.alloc]
_double_clear [in CFEM.alloc]
_double_calloc [in CFEM.alloc]
___compcert_va_int64 [in CFEM.alloc]
___compcert_va_int32 [in CFEM.alloc]
___compcert_va_float64 [in CFEM.alloc]
___compcert_va_composite [in CFEM.alloc]
___compcert_i64_utof [in CFEM.alloc]
___compcert_i64_utod [in CFEM.alloc]
___compcert_i64_umulh [in CFEM.alloc]
___compcert_i64_umod [in CFEM.alloc]
___compcert_i64_udiv [in CFEM.alloc]
___compcert_i64_stof [in CFEM.alloc]
___compcert_i64_stod [in CFEM.alloc]
___compcert_i64_smulh [in CFEM.alloc]
___compcert_i64_smod [in CFEM.alloc]
___compcert_i64_shr [in CFEM.alloc]
___compcert_i64_shl [in CFEM.alloc]
___compcert_i64_sdiv [in CFEM.alloc]
___compcert_i64_sar [in CFEM.alloc]
___compcert_i64_dtou [in CFEM.alloc]
___compcert_i64_dtos [in CFEM.alloc]
___builtin_va_start [in CFEM.alloc]
___builtin_va_end [in CFEM.alloc]
___builtin_va_copy [in CFEM.alloc]
___builtin_va_arg [in CFEM.alloc]
___builtin_unreachable [in CFEM.alloc]
___builtin_sqrt [in CFEM.alloc]
___builtin_sel [in CFEM.alloc]
___builtin_memcpy_aligned [in CFEM.alloc]
___builtin_membar [in CFEM.alloc]
___builtin_fsqrt [in CFEM.alloc]
___builtin_fnmsub [in CFEM.alloc]
___builtin_fnmadd [in CFEM.alloc]
___builtin_fmsub [in CFEM.alloc]
___builtin_fmin [in CFEM.alloc]
___builtin_fmax [in CFEM.alloc]
___builtin_fmadd [in CFEM.alloc]
___builtin_fabsf [in CFEM.alloc]
___builtin_fabs [in CFEM.alloc]
___builtin_expect [in CFEM.alloc]
___builtin_debug [in CFEM.alloc]
___builtin_ctzll [in CFEM.alloc]
___builtin_ctzl [in CFEM.alloc]
___builtin_ctz [in CFEM.alloc]
___builtin_clzll [in CFEM.alloc]
___builtin_clzl [in CFEM.alloc]
___builtin_clz [in CFEM.alloc]
___builtin_clsll [in CFEM.alloc]
___builtin_clsl [in CFEM.alloc]
___builtin_cls [in CFEM.alloc]
___builtin_bswap64 [in CFEM.alloc]
___builtin_bswap32 [in CFEM.alloc]
___builtin_bswap16 [in CFEM.alloc]
___builtin_bswap [in CFEM.alloc]
___builtin_annot_intval [in CFEM.alloc]
___builtin_annot [in CFEM.alloc]
_t'9 [in CFEM.densemat]
_t'8 [in CFEM.densemat]
_t'7 [in CFEM.densemat]
_t'6 [in CFEM.densemat]
_t'5 [in CFEM.densemat]
_t'4 [in CFEM.densemat]
_t'3 [in CFEM.densemat]
_t'2 [in CFEM.densemat]
_t'10 [in CFEM.densemat]
_t'1 [in CFEM.densemat]
_yi [in CFEM.densemat]
_xj [in CFEM.densemat]
_x [in CFEM.densemat]
_vm [in CFEM.densemat]
_t [in CFEM.densemat]
_surely_malloc [in CFEM.densemat]
_subtractoff [in CFEM.densemat]
_sqrt [in CFEM.densemat]
_s [in CFEM.densemat]
_rows [in CFEM.densemat]
_rkk [in CFEM.densemat]
_rkj [in CFEM.densemat]
_result [in CFEM.densemat]
_printf [in CFEM.densemat]
_nswap [in CFEM.densemat]
_n [in CFEM.densemat]
_main [in CFEM.densemat]
_m [in CFEM.densemat]
_l [in CFEM.densemat]
_k__1 [in CFEM.densemat]
_k [in CFEM.densemat]
_j__1 [in CFEM.densemat]
_j [in CFEM.densemat]
_ipivj [in CFEM.densemat]
_ipiv [in CFEM.densemat]
_i__2 [in CFEM.densemat]
_i__1 [in CFEM.densemat]
_i [in CFEM.densemat]
_h [in CFEM.densemat]
_free [in CFEM.densemat]
_fma [in CFEM.densemat]
_fabs [in CFEM.densemat]
_double_clear [in CFEM.densemat]
_dm [in CFEM.densemat]
_densematn_set [in CFEM.densemat]
_densematn_print [in CFEM.densemat]
_densematn_lusolveT [in CFEM.densemat]
_densematn_lusolve [in CFEM.densemat]
_densematn_lujac [in CFEM.densemat]
_densematn_lufactor [in CFEM.densemat]
_densematn_get [in CFEM.densemat]
_densematn_csolve [in CFEM.densemat]
_densematn_clear [in CFEM.densemat]
_densematn_cfactor_outer [in CFEM.densemat]
_densematn_cfactor_block [in CFEM.densemat]
_densematn_cfactor [in CFEM.densemat]
_densematn_addto [in CFEM.densemat]
_densemat_t [in CFEM.densemat]
_densemat_set [in CFEM.densemat]
_densemat_print [in CFEM.densemat]
_densemat_norm2 [in CFEM.densemat]
_densemat_norm [in CFEM.densemat]
_densemat_malloc [in CFEM.densemat]
_densemat_lusolveT [in CFEM.densemat]
_densemat_lusolve [in CFEM.densemat]
_densemat_lujac [in CFEM.densemat]
_densemat_lufactor [in CFEM.densemat]
_densemat_get [in CFEM.densemat]
_densemat_free [in CFEM.densemat]
_densemat_csolve [in CFEM.densemat]
_densemat_clear [in CFEM.densemat]
_densemat_cfactor [in CFEM.densemat]
_densemat_addto [in CFEM.densemat]
_data_norm2 [in CFEM.densemat]
_data_norm [in CFEM.densemat]
_data [in CFEM.densemat]
_c [in CFEM.densemat]
_blocksolve [in CFEM.densemat]
_bi [in CFEM.densemat]
_b [in CFEM.densemat]
_akk [in CFEM.densemat]
_abort [in CFEM.densemat]
___stringlit_7 [in CFEM.densemat]
___stringlit_6 [in CFEM.densemat]
___stringlit_5 [in CFEM.densemat]
___stringlit_4 [in CFEM.densemat]
___stringlit_3 [in CFEM.densemat]
___stringlit_2 [in CFEM.densemat]
___stringlit_1 [in CFEM.densemat]
___compcert_va_int64 [in CFEM.densemat]
___compcert_va_int32 [in CFEM.densemat]
___compcert_va_float64 [in CFEM.densemat]
___compcert_va_composite [in CFEM.densemat]
___compcert_i64_utof [in CFEM.densemat]
___compcert_i64_utod [in CFEM.densemat]
___compcert_i64_umulh [in CFEM.densemat]
___compcert_i64_umod [in CFEM.densemat]
___compcert_i64_udiv [in CFEM.densemat]
___compcert_i64_stof [in CFEM.densemat]
___compcert_i64_stod [in CFEM.densemat]
___compcert_i64_smulh [in CFEM.densemat]
___compcert_i64_smod [in CFEM.densemat]
___compcert_i64_shr [in CFEM.densemat]
___compcert_i64_shl [in CFEM.densemat]
___compcert_i64_sdiv [in CFEM.densemat]
___compcert_i64_sar [in CFEM.densemat]
___compcert_i64_dtou [in CFEM.densemat]
___compcert_i64_dtos [in CFEM.densemat]
___builtin_va_start [in CFEM.densemat]
___builtin_va_end [in CFEM.densemat]
___builtin_va_copy [in CFEM.densemat]
___builtin_va_arg [in CFEM.densemat]
___builtin_unreachable [in CFEM.densemat]
___builtin_sqrt [in CFEM.densemat]
___builtin_sel [in CFEM.densemat]
___builtin_memcpy_aligned [in CFEM.densemat]
___builtin_membar [in CFEM.densemat]
___builtin_fsqrt [in CFEM.densemat]
___builtin_fnmsub [in CFEM.densemat]
___builtin_fnmadd [in CFEM.densemat]
___builtin_fmsub [in CFEM.densemat]
___builtin_fmin [in CFEM.densemat]
___builtin_fmax [in CFEM.densemat]
___builtin_fmadd [in CFEM.densemat]
___builtin_fabsf [in CFEM.densemat]
___builtin_fabs [in CFEM.densemat]
___builtin_expect [in CFEM.densemat]
___builtin_debug [in CFEM.densemat]
___builtin_ctzll [in CFEM.densemat]
___builtin_ctzl [in CFEM.densemat]
___builtin_ctz [in CFEM.densemat]
___builtin_clzll [in CFEM.densemat]
___builtin_clzl [in CFEM.densemat]
___builtin_clz [in CFEM.densemat]
___builtin_clsll [in CFEM.densemat]
___builtin_clsl [in CFEM.densemat]
___builtin_cls [in CFEM.densemat]
___builtin_bswap64 [in CFEM.densemat]
___builtin_bswap32 [in CFEM.densemat]
___builtin_bswap16 [in CFEM.densemat]
___builtin_bswap [in CFEM.densemat]
___builtin_annot_intval [in CFEM.densemat]
___builtin_annot [in CFEM.densemat]
_Ujk [in CFEM.densemat]
_Ujj [in CFEM.densemat]
_R [in CFEM.densemat]
_Lij [in CFEM.densemat]
_J [in CFEM.densemat]
_A [in CFEM.densemat]
_t'9 [in CFEM.mesh]
_t'8 [in CFEM.mesh]
_t'7 [in CFEM.mesh]
_t'6 [in CFEM.mesh]
_t'5 [in CFEM.mesh]
_t'4 [in CFEM.mesh]
_t'3 [in CFEM.mesh]
_t'2 [in CFEM.mesh]
_t'17 [in CFEM.mesh]
_t'16 [in CFEM.mesh]
_t'15 [in CFEM.mesh]
_t'14 [in CFEM.mesh]
_t'13 [in CFEM.mesh]
_t'12 [in CFEM.mesh]
_t'11 [in CFEM.mesh]
_t'10 [in CFEM.mesh]
_t'1 [in CFEM.mesh]
_xref [in CFEM.mesh]
_xout [in CFEM.mesh]
_x [in CFEM.mesh]
_surely_malloc [in CFEM.mesh]
_start [in CFEM.mesh]
_shapes2dT1 [in CFEM.mesh]
_shapes2dS2 [in CFEM.mesh]
_shapes2dP2 [in CFEM.mesh]
_shapes2dP1 [in CFEM.mesh]
_shapes1dP3 [in CFEM.mesh]
_shapes1dP2 [in CFEM.mesh]
_shapes1dP1 [in CFEM.mesh]
_shape [in CFEM.mesh]
_printf [in CFEM.mesh]
_ny [in CFEM.mesh]
_nx1 [in CFEM.mesh]
_nx0 [in CFEM.mesh]
_nx [in CFEM.mesh]
_numnp [in CFEM.mesh]
_numelt [in CFEM.mesh]
_nshape [in CFEM.mesh]
_ney [in CFEM.mesh]
_nex [in CFEM.mesh]
_nen [in CFEM.mesh]
_mesh_to_spatial [in CFEM.mesh]
_mesh_t [in CFEM.mesh]
_mesh_shapes [in CFEM.mesh]
_mesh_print_nodes [in CFEM.mesh]
_mesh_print_elt [in CFEM.mesh]
_mesh_print [in CFEM.mesh]
_mesh_malloc [in CFEM.mesh]
_mesh_free [in CFEM.mesh]
_mesh_create1d [in CFEM.mesh]
_mesh_block2d_T1 [in CFEM.mesh]
_mesh_block2d_S2 [in CFEM.mesh]
_mesh_block2d_P2 [in CFEM.mesh]
_mesh_block2d_P1 [in CFEM.mesh]
_mesh [in CFEM.mesh]
_memset [in CFEM.mesh]
_memcpy [in CFEM.mesh]
_main [in CFEM.mesh]
_k__2 [in CFEM.mesh]
_k__1 [in CFEM.mesh]
_k [in CFEM.mesh]
_j__2 [in CFEM.mesh]
_j__1 [in CFEM.mesh]
_j [in CFEM.mesh]
_iy__1 [in CFEM.mesh]
_iy [in CFEM.mesh]
_ix__3 [in CFEM.mesh]
_ix__2 [in CFEM.mesh]
_ix__1 [in CFEM.mesh]
_ix [in CFEM.mesh]
_ipiv [in CFEM.mesh]
_int_calloc [in CFEM.mesh]
_i_ww [in CFEM.mesh]
_i_sw [in CFEM.mesh]
_i_nw [in CFEM.mesh]
_i__1 [in CFEM.mesh]
_i [in CFEM.mesh]
_free [in CFEM.mesh]
_eltid [in CFEM.mesh]
_elt [in CFEM.mesh]
_double_calloc [in CFEM.mesh]
_densematn_lusolveT [in CFEM.mesh]
_densematn_lujac [in CFEM.mesh]
_densematn_lufactor [in CFEM.mesh]
_degree [in CFEM.mesh]
_dNk [in CFEM.mesh]
_dN [in CFEM.mesh]
_d [in CFEM.mesh]
_b [in CFEM.mesh]
_abort [in CFEM.mesh]
_a [in CFEM.mesh]
___stringlit_9 [in CFEM.mesh]
___stringlit_8 [in CFEM.mesh]
___stringlit_7 [in CFEM.mesh]
___stringlit_6 [in CFEM.mesh]
___stringlit_5 [in CFEM.mesh]
___stringlit_4 [in CFEM.mesh]
___stringlit_3 [in CFEM.mesh]
___stringlit_2 [in CFEM.mesh]
___stringlit_12 [in CFEM.mesh]
___stringlit_11 [in CFEM.mesh]
___stringlit_10 [in CFEM.mesh]
___stringlit_1 [in CFEM.mesh]
___compcert_va_int64 [in CFEM.mesh]
___compcert_va_int32 [in CFEM.mesh]
___compcert_va_float64 [in CFEM.mesh]
___compcert_va_composite [in CFEM.mesh]
___compcert_i64_utof [in CFEM.mesh]
___compcert_i64_utod [in CFEM.mesh]
___compcert_i64_umulh [in CFEM.mesh]
___compcert_i64_umod [in CFEM.mesh]
___compcert_i64_udiv [in CFEM.mesh]
___compcert_i64_stof [in CFEM.mesh]
___compcert_i64_stod [in CFEM.mesh]
___compcert_i64_smulh [in CFEM.mesh]
___compcert_i64_smod [in CFEM.mesh]
___compcert_i64_shr [in CFEM.mesh]
___compcert_i64_shl [in CFEM.mesh]
___compcert_i64_sdiv [in CFEM.mesh]
___compcert_i64_sar [in CFEM.mesh]
___compcert_i64_dtou [in CFEM.mesh]
___compcert_i64_dtos [in CFEM.mesh]
___builtin_va_start [in CFEM.mesh]
___builtin_va_end [in CFEM.mesh]
___builtin_va_copy [in CFEM.mesh]
___builtin_va_arg [in CFEM.mesh]
___builtin_unreachable [in CFEM.mesh]
___builtin_sqrt [in CFEM.mesh]
___builtin_sel [in CFEM.mesh]
___builtin_memcpy_aligned [in CFEM.mesh]
___builtin_membar [in CFEM.mesh]
___builtin_fsqrt [in CFEM.mesh]
___builtin_fnmsub [in CFEM.mesh]
___builtin_fnmadd [in CFEM.mesh]
___builtin_fmsub [in CFEM.mesh]
___builtin_fmin [in CFEM.mesh]
___builtin_fmax [in CFEM.mesh]
___builtin_fmadd [in CFEM.mesh]
___builtin_fabsf [in CFEM.mesh]
___builtin_fabs [in CFEM.mesh]
___builtin_expect [in CFEM.mesh]
___builtin_debug [in CFEM.mesh]
___builtin_ctzll [in CFEM.mesh]
___builtin_ctzl [in CFEM.mesh]
___builtin_ctz [in CFEM.mesh]
___builtin_clzll [in CFEM.mesh]
___builtin_clzl [in CFEM.mesh]
___builtin_clz [in CFEM.mesh]
___builtin_clsll [in CFEM.mesh]
___builtin_clsl [in CFEM.mesh]
___builtin_cls [in CFEM.mesh]
___builtin_bswap64 [in CFEM.mesh]
___builtin_bswap32 [in CFEM.mesh]
___builtin_bswap16 [in CFEM.mesh]
___builtin_bswap [in CFEM.mesh]
___builtin_annot_intval [in CFEM.mesh]
___builtin_annot [in CFEM.mesh]
_Xi [in CFEM.mesh]
_X [in CFEM.mesh]
_N [in CFEM.mesh]
_J [in CFEM.mesh]

---

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

(1662 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

(9 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

(15 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

(79 entries)

Axiom 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)

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

(4 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)

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

(7 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

(1546 entries)

---

This page has been generated by coqdoc