Home
last modified time | relevance | path

Searched defs:isFun (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DFlatTerm.hpp66 inline bool isFun() const { return tag()==FUN; } in isFun() function
67 inline bool isFun(unsigned num) const { return isFun() && number()==num; } in isFun() function
H A DSignature.cpp606 bool isFun = prev % 2; in addFunction() local
677 bool isFun = prev % 2; in addPredicate() local
/dports/math/R/R-4.1.2/src/library/base/demo/
H A Dis.things.R36 isFun <- function(name) (exists(name, mode="function") && function
/dports/math/libRmath/R-4.1.1/src/library/base/demo/
H A Dis.things.R36 isFun <- function(name) (exists(name, mode="function") && function