Searched defs:createLet (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Formula.cpp | 810 Formula* Formula::createLet(unsigned functor, Formula::VarList* variables, TermList body, Formula* … in createLet() function in Kernel::Formula
823 Formula* Formula::createLet(unsigned predicate, Formula::VarList* variables, Formula* body, Formula… in createLet() function in Kernel::Formula
|
| H A D | Term.cpp | 903 Term* Term::createLet(unsigned functor, IntList* variables, TermList binding, TermList body, unsign… in createLet() function in Term
|