Home
last modified time | relevance | path

Searched refs:num_max_level (Results 1 – 5 of 5) sorted by relevance

/dports/science/hypre/hypre-2.23.0/src/struct_ls/
H A Dsmg_relax.c940 HYPRE_Int num_max_level ) in hypre_SMGRelaxSetMaxLevel() argument
944 (relax_data -> max_level) = num_max_level; in hypre_SMGRelaxSetMaxLevel()
H A D_hypre_struct_ls.h364 HYPRE_Int hypre_SMGRelaxSetMaxLevel( void *relax_vdata, HYPRE_Int num_max_level );
H A Dprotos.h344 HYPRE_Int hypre_SMGRelaxSetMaxLevel( void *relax_vdata, HYPRE_Int num_max_level );
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Dpb_solver.cpp3376 unsigned num_max_level = 0; in active2card() local
3382 num_max_level = 1; in active2card()
3385 ++num_max_level; in active2card()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/
H A Dba_solver.cpp3504 unsigned num_max_level = 0; in active2card() local
3510 num_max_level = 1; in active2card()
3513 ++num_max_level; in active2card()