Searched refs:clause_vraie (Results 1 – 1 of 1) sorted by relevance
1988 gen clause_vraie=equaltosto((*argsptr)[1],contextptr); in ifte() local1989 rt=clause_vraie.is_symb_of_sommet(at_return); in ifte()1991 clause_vraie=clause_vraie._SYMBptr->feuille; in ifte()1993 if (!clause_vraie.in_eval(evallevel,res,contextptr)) in ifte()1994 res=clause_vraie; in ifte()