Home
last modified time | relevance | path

Searched refs:replace_term (Results 1 – 2 of 2) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/cp/
H A Dlogic.cc586 replace_term (clause& c, tree t) in replace_term() function
614 replace_term (c, t); in decompose_conjuntion()
625 replace_term (c, t); in decompose_disjunction()
/netbsd-src/external/gpl3/gcc.old/dist/gcc/cp/
H A Dlogic.cc597 replace_term (clause& c, tree t) in replace_term() function
625 replace_term (c, t); in decompose_conjuntion()
636 replace_term (c, t); in decompose_disjunction()