Home
last modified time | relevance | path

Searched refs:formula (Results 1 – 25 of 45) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h538 arena().makeAnd(LHS.formula(), RHS.formula())); in makeAnd()
547 arena().makeOr(LHS.formula(), RHS.formula())); in makeOr()
553 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()
562 arena().makeImplies(LHS.formula(), RHS.formula())); in makeImplication()
571 arena().makeEquals(LHS.formula(), RHS.formula())); in makeIff()
H A DValue.h109 const Formula &formula() const { return *F; } in formula() function
128 Atom getAtom() const { return formula().getAtom(); } in getAtom()
145 Atom getAtom() const { return formula().getAtom(); } in getAtom()
/freebsd-14.2/contrib/libxo/packaging/
H A Dlibxo.rb.base.in2 # Homebrew formula file for libxo
6 require 'formula'
/freebsd-14.2/contrib/tcpdump/cmake/Modules/
H A DFindCRYPTO.cmake120 # $BREW --prefix --installed <formula>
123 # the formula is installed or not, so we
127 # libcrypto isn't a formula, openssl is a formula.
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp231 return Value->formula(); in forceBoolValue()
235 return Value->formula(); in forceBoolValue()
364 HasValueVal->formula())); in transferValueOrImpl()
589 Env.assume(evaluateEquality(A, *CmpValue, LHasVal->formula(), in transferOptionalAndOptionalCmp()
590 RHasVal->formula())); in transferOptionalAndOptionalCmp()
604 evaluateEquality(A, *CmpValue, HasVal->formula(), A.makeLiteral(true))); in transferOptionalAndValueCmp()
616 Env.assume(evaluateEquality(A, *CmpValue, HasVal->formula(), in transferOptionalAndNulloptCmp()
805 if (Env.proves(HasValueVal->formula())) in diagnoseUnwrapCall()
/freebsd-14.2/sys/contrib/device-tree/Bindings/leds/
H A Dskyworks,aat1290.yaml42 formula:: I = 1A * 162 kOhm / Rset.
46 Maximum flash timeout can be calculated using following formula::
H A Dleds-aat1290.txt29 following formula: I = 1A * 162kohm / Rset.
32 formula: T = 8.82 * 10^9 * Ct.
H A Drichtek,rt8515.yaml61 according to the formula Imax = 5500 / RFS. The lowest
73 according to the formula Imax = 5500 / RTS. The lowest
/freebsd-14.2/contrib/bc/manuals/
H A Dalgorithms.md192 The algorithm used is to use the formula `e(y*l(x))`.
230 If at this point, the exponent is negative, we need to use the original formula
251 using the original formula, but we instead of calculating `e(y * l(x))`, we
294 The algorithm is to use the formula `n!/(n-k)!`.
302 The algorithm is to use the formula `n!/r!*(n-r)!`.
310 The algorithm is to use the formula `l(x)/l(b)` with double the `scale` because
359 The algorithm uses the formula `a*b/gcd(a,b)`.
367 The algorithm uses the formula `4*a(1)`.
375 The algorithm uses the formula `s(x)/c(x)`.
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DValue.cpp56 return OS << "FormulaBool(" << cast<FormulaBoolValue>(Val).formula() << ")"; in operator <<()
H A DDataflowEnvironment.cpp114 auto &Expr1 = cast<BoolValue>(Val1).formula(); in mergeDistinctValues()
115 auto &Expr2 = cast<BoolValue>(Val2).formula(); in mergeDistinctValues()
170 bool TruePrev = PrevEnv.proves(PrevBool->formula()); in widenDistinctValues()
171 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()
175 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool->formula())) && in widenDistinctValues()
176 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
H A DHTMLLogger.cpp116 JOS.attribute("formula", llvm::to_string(B->formula())); in dump()
117 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
118 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
/freebsd-14.2/sys/contrib/device-tree/Bindings/power/supply/
H A Dltc2941.txt6 is software compatible, uses a slightly different conversion formula
H A Dlltc,ltc294x.yaml13 are software compatible, uses a slightly different conversion formula
/freebsd-14.2/sys/contrib/device-tree/Bindings/mtd/
H A Dcadence-nand-controller.txt19 associated with data read capture. The example formula for SDR mode is
/freebsd-14.2/sys/dev/drm2/
H A Ddrm_edid.h110 } formula; member
/freebsd-14.2/crypto/openssl/doc/man7/
H A Dopenssl_user_macros.pod.in58 This form is a simple decimal number calculated with this formula:
/freebsd-14.2/contrib/llvm-project/clang/include/clang/AST/
H A DCommentCommands.td216 def FDollar : VerbatimBlockCommand<"f$">; // Inline LaTeX formula
218 defm FBracket : VerbatimBlockCommand<"f[", "f]">; // Displayed LaTeX formula
/freebsd-14.2/sys/contrib/device-tree/Bindings/scsi/
H A Dhisilicon-sas.txt61 The formula is "y = (x-10000)/10000". For example, 10478
/freebsd-14.2/sys/contrib/device-tree/Bindings/iio/dac/
H A Dadi,ad3552r.yaml90 description: Gain offset used in the above formula
/freebsd-14.2/share/examples/sound/oss/
H A DREADME21 and 16. The formula on the official site is:
/freebsd-14.2/sys/contrib/device-tree/Bindings/regulator/
H A Drohm,bd71847-regulator.yaml125 # Here the buck output is sifted according to formula:
H A Drohm,bd71837-regulator.yaml130 # Here the buck output is sifted according to formula:
/freebsd-14.2/contrib/arm-optimized-routines/math/tools/
H A Dtgamma128_gen.jl178 # formula (even in MPFR's extra precision).
/freebsd-14.2/tools/tools/nanobsd/dhcpd/
H A Dos-base39 # /var -> ~10MB (look through rc.initdiskless for the formula of how this

12