Home
last modified time | relevance | path

Searched refs:isIntPower (Results 1 – 4 of 4) sorted by relevance

/dports/science/lammps/lammps-stable_29Sep2021/lib/colvars/lepton/include/lepton/
H A DOperation.h1001 isIntPower = (intValue == value); in PowerConstant()
1018 if (isIntPower) { in evaluate()
1053 bool isIntPower; variable
/dports/science/opensim-core/opensim-core-4.1/Vendors/lepton/include/lepton/
H A DOperation.h970 isIntPower = (intValue == value); in PowerConstant()
987 if (isIntPower) { in evaluate()
1022 bool isIntPower; variable
/dports/science/plumed/plumed2-2.7.2/src/lepton/
H A DOperation.h1044 isIntPower = (intValue == value); in PowerConstant()
1061 if (isIntPower) { in evaluate()
1096 bool isIntPower; variable
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp3225 Theorem isIntPower(isIntegerThm(left)); in rewrite() local
3226 if (!isIntPower.isNull()) { in rewrite()
3227 thm = transitivityRule(thm, d_rules->intEqIrrational(nonlinearEq, isIntPower)); in rewrite()