Searched refs:eq_propagator_t (Results 1 – 2 of 2) sorted by relevance
515 } eq_propagator_t; typedef755 eq_propagator_t *eqprop;
1223 eq_propagator_t *eqprop; in eqprop_set_relevance()1241 eq_propagator_t *tmp; in simplex_alloc_eqprop()1246 tmp = (eq_propagator_t *) safe_malloc(sizeof(eq_propagator_t)); in simplex_alloc_eqprop()1275 eq_propagator_t *eqprop; in simplex_delete_eqprop()1294 eq_propagator_t *eqprop; in simplex_reset_eqprop()1311 eq_propagator_t *eqprop; in simplex_push_eqprop()1330 eq_propagator_t *eqprop; in simplex_pop_eqprop()1338 eq_propagator_t *eqprop; in simplex_eqprop_cleanup()1383 eq_propagator_t *eqprop; in eqprop_record_eterm()1425 eq_propagator_t *eqprop; in eqprop_process_frozen_var()[all …]