Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_termvars.h106 long VarBankCardinal(VarBank_p bank); /* Number of existing variables */
H A Dcte_termvars.c600 long VarBankCardinal(VarBank_p bank) in VarBankCardinal() function
H A Dcte_termbanks.c490 return TermCellStoreNodes(&(bank->term_store))+VarBankCardinal(bank->vars); in TBTermNodes()