Searched refs:sampling_ctx (Results 1 – 5 of 5) sorted by relevance
97 IN const sampling_ctx *ctx) in generate_indices_mod_z()133 sampling_ctx ctx; in generate_sparse_rep()153 sampling_ctx ctx; in generate_error_vector()
46 } sampling_ctx; typedef48 _INLINE_ void sampling_ctx_init(sampling_ctx *ctx) in sampling_ctx_init()
107 IN const sampling_ctx *ctx) in generate_indices_mod_z()143 sampling_ctx ctx; in generate_sparse_rep()163 sampling_ctx ctx; in generate_error_vector()
44 } sampling_ctx;46 _INLINE_ void sampling_ctx_init(sampling_ctx *ctx)
619 context_t *sampling_ctx; in ef_sample_constraint() local645 sampling_ctx = get_forall_context(solver); in ef_sample_constraint()646 ucode = assert_formula(sampling_ctx, cnstr->assumption); in ef_sample_constraint()649 status = satisfy_context(sampling_ctx, solver->parameters, cnstr->uvars, nvars, value, NULL); in ef_sample_constraint()689 ucode = assert_blocking_clause(sampling_ctx); in ef_sample_constraint()