Home
last modified time | relevance | path

Searched refs:forall_term (Results 1 – 4 of 4) sorted by relevance

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_terms.c749 x = forall_term(&terms, 2, aux, c); in test_forall2()
754 y = forall_term(&terms, 2, aux, c); in test_forall2()
/dports/math/yices/yices-2.6.2/src/terms/
H A Dterms.h608 extern term_t forall_term(term_table_t *table, uint32_t n, const term_t var[], term_t body);
H A Dterm_manager.c3840 return forall_term(manager->terms, n, var, body); in mk_forall()
3848 return opposite_term(forall_term(manager->terms, n, var, opposite_term(body))); in mk_exists()
H A Dterms.c2340 term_t forall_term(term_table_t *table, uint32_t n, const term_t var[], term_t body) { in forall_term() function