Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h589 arena().makeAnd(LHS.formula(), RHS.formula())); in makeAnd()
598 arena().makeOr(LHS.formula(), RHS.formula())); in makeOr()
604 return arena().makeBoolValue(arena().makeNot(Val.formula())); in makeNot()
613 arena().makeImplies(LHS.formula(), RHS.formula())); in makeImplication()
622 arena().makeEquals(LHS.formula(), RHS.formula())); in makeIff()
H A DValue.h107 const Formula &formula() const { return *F; } in formula() function
126 Atom getAtom() const { return formula().getAtom(); } in getAtom()
143 Atom getAtom() const { return formula().getAtom(); } in getAtom()
/freebsd/contrib/libxo/packaging/
H A Dlibxo.rb.base.in2 # Homebrew formula file for libxo
6 require 'formula'
/freebsd/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/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp320 return Value->formula(); in forceBoolValue()
324 return Value->formula(); in forceBoolValue()
436 HasValueVal->formula())); in transferValueOrImpl()
659 Env.assume(evaluateEquality(A, *CmpValue, LHasVal->formula(), in transferOptionalAndOptionalCmp()
660 RHasVal->formula())); in transferOptionalAndOptionalCmp()
674 evaluateEquality(A, *CmpValue, HasVal->formula(), A.makeLiteral(true))); in transferOptionalAndValueCmp()
686 Env.assume(evaluateEquality(A, *CmpValue, HasVal->formula(), in transferOptionalAndNulloptCmp()
874 if (Env.proves(HasValueVal->formula())) in diagnoseUnwrapCall()
/freebsd/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/sys/contrib/device-tree/Bindings/leds/
H A Dleds-aat1290.txt29 following formula: I = 1A * 162kohm / Rset.
32 formula: T = 8.82 * 10^9 * Ct.
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DValue.cpp54 return OS << "FormulaBool(" << cast<FormulaBoolValue>(Val).formula() << ")"; in operator <<()
H A DDataflowEnvironment.cpp142 auto &Expr1 = cast<BoolValue>(Val1).formula(); in joinDistinctValues()
143 auto &Expr2 = cast<BoolValue>(Val2).formula(); in joinDistinctValues()
181 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues()
182 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()
186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()
187 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
H A DHTMLLogger.cpp115 JOS.attribute("formula", llvm::to_string(B->formula())); in dump()
116 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
H A DTypeErasedDataflowAnalysis.cpp302 Copy.Env.assume(AssertedVal->formula()); in computeBlockInputState()
/freebsd/sys/contrib/device-tree/Bindings/power/supply/
H A Dltc2941.txt6 is software compatible, uses a slightly different conversion formula
/freebsd/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/sys/dev/drm2/
H A Ddrm_edid.h110 } formula; member
/freebsd/crypto/openssl/doc/man7/
H A Dopenssl_user_macros.pod.in58 This form is a simple decimal number calculated with this formula:
/freebsd/contrib/llvm-project/clang/include/clang/AST/
H A DCommentCommands.td217 def FDollar : VerbatimBlockCommand<"f$">; // Inline LaTeX formula
219 defm FBracket : VerbatimBlockCommand<"f[", "f]">; // Displayed LaTeX formula
/freebsd/sys/contrib/device-tree/Bindings/scsi/
H A Dhisilicon-sas.txt61 The formula is "y = (x-10000)/10000". For example, 10478
/freebsd/contrib/arm-optimized-routines/math/tools/
H A Dtgamma128_gen.jl178 # formula (even in MPFR's extra precision).
/freebsd/tools/tools/nanobsd/dhcpd/
H A Dos-base39 # /var -> ~10MB (look through rc.initdiskless for the formula of how this
/freebsd/contrib/tcpdump/
H A Dconfigure.ac1065 # $BREW --prefix --installed <formula>
1068 # the formula is installed or not, so we
1072 # libcrypto isn't a formula, openssl is a formula.
/freebsd/sys/contrib/zstd/doc/
H A Dzstd_compression_format.md1082 Probability is obtained from Value decoded by following formula :
1224 Transformation from `Weight` to `Number_of_Bits` follows this formula :
1246 Weight formula is :
1328 It is possible to transform weights into `Number_of_Bits`, using this formula:
/freebsd/crypto/openssl/doc/man3/
H A DEC_GROUP_copy.pod159 For a curve defined over Fp the discriminant is given by the formula 4*a^3 + 27*b^2 whilst for F2^m…
/freebsd/contrib/llvm-project/llvm/lib/Target/RISCV/
H A DRISCVSchedSiFive7.td76 // formula (2 * VLEN * LMUL) / DLEN = 4 * LMUL
90 // formula vl * ceil((SEW * nf) / DLEN), where SEW * nf is the segment size.
/freebsd/contrib/file/magic/Magdir/
H A Darchive2008 >>>73 string formula
2010 !:mime application/vnd.oasis.opendocument.formula
2013 !:mime application/vnd.oasis.opendocument.formula-template
/freebsd/contrib/libpcap/
H A Dconfigure.ac1835 # $BREW --prefix --installed <formula>
1838 # the formula is installed or not, so we

12