Home | History | Annotate | Download | only in libxml2

Lines Matching full:derivation

7179  * Do one step of Brzozowski derivation of the expression @exp with
7228  * @remain: the remain from the derivation of the multiple
7293  * Try to do a step of Brzozowski derivation but at a higher level
7306      * amount, then the derivation is empty
7672      * here the structured derivation made no progress so
7673      * we use the default token based derivation to force one more step
7745  * Based on algebraic derivation and sometimes direct Brzozowski derivation
7814     printf("Result derivation :\n");