Home
last modified time | relevance | path

Searched defs:isLT (Results 1 – 5 of 5) sorted by relevance

/dports/net/ntp/ntp-4.2.8p15/lib/isc/
H A Dtsmemcmp.c43 unsigned int isLT = 0u; in isc_tsmemcmp() local
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_arith.h186 inline bool isLT(const Expr& e) { return e.getKind() == LT; } in isLT() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/
H A DExpr.java461 public boolean isLT() in isLT() method in Expr
/dports/astro/gpstk/GPSTk-8.0.0/core/lib/Math/Matrix/
H A DMatrixBase.hpp104 inline bool isLT() const in isLT() function in gpstk::ConstMatrixBase
/dports/math/z3/z3-z3-4.8.13/src/api/java/
H A DExpr.java464 public boolean isLT() in isLT() method in Expr