Home
last modified time | relevance | path

Searched refs:context_factor_disjunction (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_utils.h271 extern void context_factor_disjunction(context_t *ctx, term_t t, ivector_t *v);
H A Dcontext_utils.c692 void context_factor_disjunction(context_t *ctx, term_t t, ivector_t *v) { in context_factor_disjunction() function
H A Dcontext_simplifier.c2024 context_factor_disjunction(ctx, r, v); in push_common_factors()