Home
last modified time | relevance | path

Searched refs:aux_vector (Results 1 – 25 of 36) sorted by relevance

12

/dports/science/hypre/hypre-2.23.0/src/IJ_mv/
H A DIJVector_parcsr_device.c75 if (!aux_vector) in hypre_IJVectorSetAddValuesParDevice()
77 hypre_AuxParVectorCreate(&aux_vector); in hypre_IJVectorSetAddValuesParDevice()
79 hypre_IJVectorTranslator(vector) = aux_vector; in hypre_IJVectorSetAddValuesParDevice()
99 hypre_AuxParVectorStackI(aux_vector) = stack_i = in hypre_IJVectorSetAddValuesParDevice()
101 hypre_AuxParVectorStackData(aux_vector) = stack_data = in hypre_IJVectorSetAddValuesParDevice()
103 hypre_AuxParVectorStackSorA(aux_vector) = stack_sora = in hypre_IJVectorSetAddValuesParDevice()
135 if (!aux_vector) in hypre_IJVectorAssembleParDevice()
213 stack_i = hypre_AuxParVectorStackI(aux_vector); in hypre_IJVectorAssembleParDevice()
214 stack_data = hypre_AuxParVectorStackData(aux_vector); in hypre_IJVectorAssembleParDevice()
215 stack_sora = hypre_AuxParVectorStackSorA(aux_vector); in hypre_IJVectorAssembleParDevice()
[all …]
H A DIJVector_parcsr.c107 if (!aux_vector) in hypre_IJVectorInitializePar_v2()
109 hypre_AuxParVectorCreate(&aux_vector); in hypre_IJVectorInitializePar_v2()
110 hypre_IJVectorTranslator(vector) = aux_vector; in hypre_IJVectorInitializePar_v2()
127 hypre_AuxParVector *aux_vector; in hypre_IJVectorSetMaxOffProcElmtsPar() local
130 if (!aux_vector) in hypre_IJVectorSetMaxOffProcElmtsPar()
132 hypre_AuxParVectorCreate(&aux_vector); in hypre_IJVectorSetMaxOffProcElmtsPar()
133 hypre_IJVectorTranslator(vector) = aux_vector; in hypre_IJVectorSetMaxOffProcElmtsPar()
458 = hypre_AuxParVectorMaxOffProcElmts(aux_vector); in hypre_IJVectorAddToValuesPar()
475 hypre_AuxParVectorOffProcI(aux_vector) in hypre_IJVectorAddToValuesPar()
477 hypre_AuxParVectorOffProcData(aux_vector) in hypre_IJVectorAddToValuesPar()
[all …]
H A Daux_par_vector.c22 hypre_AuxParVectorCreate( hypre_AuxParVector **aux_vector) in hypre_AuxParVectorCreate() argument
46 *aux_vector = vector; in hypre_AuxParVectorCreate()
/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dsimplex_propagator1.h460 v = &solver->aux_vector; in try_upper_bound_propagation()
483 v = &solver->aux_vector; in try_upper_bound_propagation()
574 v = &solver->aux_vector; in try_lower_bound_propagation()
597 v = &solver->aux_vector; in try_lower_bound_propagation()
763 v = &solver->aux_vector; in full_upper_bound_propagation()
789 v = &solver->aux_vector; in full_upper_bound_propagation()
879 v = &solver->aux_vector; in full_lower_bound_propagation()
905 v = &solver->aux_vector; in full_lower_bound_propagation()
H A Ddiophantine_systems.c804 ivector_reset(&solver->aux_vector); in reset_dsolver()
904 delete_ivector(&solver->aux_vector); in delete_dsolver()
1097 assert(solver->aux_vector.size == 0); in dsolver_row_open()
1141 ivector_push(&solver->aux_vector, c_idx); in dsolver_row_add_mono()
1197 v = &solver->aux_vector; in dsolver_remove_zeros()
1231 v = &solver->aux_vector; in dsolver_scale_new_row()
1261 v = &solver->aux_vector; in dsolver_store_new_row()
1303 v = &solver->aux_vector; in dsolver_normalize_new_row()
1379 if (solver->aux_vector.size > 0) { in dsolver_row_close()
1858 v = &solver->aux_vector; in dsolver_restore_rows_to_process()
[all …]
H A Ddiophantine_systems.h412 ivector_t aux_vector; // general-purpose array of integers member
H A Dsimplex_propagator0.h519 v = &solver->aux_vector; in theory_prop_from_upper_bounds()
557 v = &solver->aux_vector; in theory_prop_from_lower_bounds()
762 w = &solver->aux_vector; in all_theory_props_from_upper_bounds()
791 w = &solver->aux_vector; in all_theory_props_from_lower_bounds()
H A Dsimplex_types.h837 ivector_t aux_vector; // general-purpose vector member
/dports/math/yices/yices-2.6.2/src/scratch/
H A Dupdate_graph.h173 ivector_t aux_vector; member
H A Dupdate_graph.c379 init_ivector(&ugraph->aux_vector, 10); in init_ugraph()
489 ivector_reset(&ugraph->aux_vector); in reset_ugraph()
521 delete_ivector(&ugraph->aux_vector); in delete_ugraph()
/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbvsolver_types.h363 ivector_t aux_vector; member
H A Dnew_bvsolver_types.h353 ivector_t aux_vector; member
H A Dbit_blaster.c450 init_ivector(&s->aux_vector, 0); in init_bit_blaster()
466 delete_ivector(&s->aux_vector); in delete_bit_blaster()
478 ivector_reset(&s->aux_vector); in reset_bit_blaster()
1278 v = &s->aux_vector; in bit_blaster_or_gate()
1313 v = &s->aux_vector; in bit_blaster_xor_gate()
1620 v = &s->aux_vector; in bit_blaster_eval_or()
1638 v = &s->aux_vector; in bit_blaster_eval_xor()
1714 v = &s->aux_vector; in bit_blaster_make_or()
1773 v = &s->aux_vector; in bit_blaster_make_xor()
H A Dnew_bit_blaster.c450 init_ivector(&s->aux_vector, 0); in init_bit_blaster()
463 delete_ivector(&s->aux_vector); in delete_bit_blaster()
476 ivector_reset(&s->aux_vector); in reset_bit_blaster()
1273 v = &s->aux_vector; in bit_blaster_or_gate()
1309 v = &s->aux_vector; in bit_blaster_xor_gate()
1611 v = &s->aux_vector; in bit_blaster_eval_or()
1629 v = &s->aux_vector; in bit_blaster_eval_xor()
1705 v = &s->aux_vector; in bit_blaster_make_or()
1765 v = &s->aux_vector; in bit_blaster_make_xor()
H A Dbit_blaster.h100 ivector_t aux_vector; member
H A Dnew_bit_blaster.h100 ivector_t aux_vector; member
/dports/science/hypre/hypre-2.23.0/src/parcsr_ls/
H A Dschwarz.c744 aux = hypre_VectorData(aux_vector); in hypre_MPSchwarzSolve()
862 hypre_Vector *aux_vector, in hypre_MPSchwarzCFSolve() argument
902 aux = hypre_VectorData(aux_vector); in hypre_MPSchwarzCFSolve()
1069 aux = hypre_VectorData(aux_vector); in hypre_MPSchwarzFWSolve()
1182 aux = hypre_VectorData(aux_vector); in hypre_MPSchwarzCFFWSolve()
2564 hypre_Vector *aux_vector; in hypre_AdSchwarzSolve() local
2587 aux_vector = hypre_ParVectorLocalVector(par_aux); in hypre_AdSchwarzSolve()
2589 aux = hypre_VectorData(aux_vector); in hypre_AdSchwarzSolve()
2665 hypre_Vector *aux_vector; in hypre_AdSchwarzCFSolve() local
2687 aux_vector = hypre_ParVectorLocalVector(par_aux); in hypre_AdSchwarzCFSolve()
[all …]
/dports/math/yices/yices-2.6.2/src/solvers/funs/
H A Dfun_solver.h249 ivector_t aux_vector; member
H A Dfun_solver.c788 v = &solver->aux_vector; in fun_solver_update_axiom1()
961 v = &solver->aux_vector; in apply_edge_equal_args()
1055 v = &solver->aux_vector; in fun_solver_extensionality_axiom()
1874 init_ivector(&solver->aux_vector, 10); in init_fun_solver()
1903 delete_ivector(&solver->aux_vector); in delete_fun_solver()
1939 ivector_reset(&solver->aux_vector); in fun_solver_reset()
2501 v = &solver->aux_vector; in fun_solver_assign_base_values()
3011 v = &solver->aux_vector; in fun_solver_gen_interface_lemma()
/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext.c491 buffer = &ctx->aux_vector; in flatten_ite_to_eterm()
1140 buffer = &ctx->aux_vector; in flatten_ite_to_arith()
1862 v = &ctx->aux_vector; in map_or_to_literal()
1971 v = &ctx->aux_vector; in make_arith_distinct()
1999 v = &ctx->aux_vector; in make_bv_distinct()
2226 v = &ctx->aux_vector; in map_arith_bineq()
3898 v = &ctx->aux_vector; in assert_arith_bineq()
4278 v = &ctx->aux_vector; in assert_toplevel_or()
4441 v = &ctx->aux_vector; in assert_toplevel_bveq()
5666 ivector_reset(&ctx->aux_vector); in reset_context()
[all …]
H A Dcontext_types.h680 ivector_t aux_vector; member
/dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/
H A Didl_floyd_warshall.h404 ivector_t aux_vector; // general-purpose vector member
H A Drdl_floyd_warshall.h433 ivector_t aux_vector; // general-purpose vector member
H A Didl_floyd_warshall.c1817 ivector_reset(&solver->aux_vector); in idl_reset()
2503 aux = &solver->aux_vector; in idl_assert_clause_vareq_axiom()
2805 init_ivector(&solver->aux_vector, DEFAULT_IDL_BUFFER_SIZE); in init_idl_solver()
2840 delete_ivector(&solver->aux_vector); in delete_idl_solver()
/dports/math/yices/yices-2.6.2/src/model/
H A Dconcrete_values.c597 init_ivector(&table->aux_vector, 0); in init_value_table()
784 ivector_reset(&table->aux_vector); in reset_value_table()
804 delete_ivector(&table->aux_vector); in delete_value_table()
1101 v = &table->aux_vector; in get_default_for_map()
2679 v = &table->aux_vector; in vtbl_make_function_from_value_map()
2975 v = &table->aux_vector; in vtbl_find_function_with_value_map()

12