Home
last modified time | relevance | path

Searched refs:Implies (Results 1 – 25 of 1607) sorted by relevance

12345678910>>...65

/dports/math/py-sympy/sympy-1.9/sympy/assumptions/
H A Dfacts.py71 Implies(Q.rational(x), Q.algebraic(x)),
75 Implies(Q.integer(x), Q.rational(x)),
76 Implies(Q.zero(x), Q.even(x)),
82 Implies(Q.real(x), Q.hermitian(x)),
88 Implies(Q.complex(x), Q.finite(x)),
96 Implies(Q.orthogonal(x), Q.unitary(x)),
98 Implies(Q.unitary(x), Q.normal(x)),
100 Implies(Q.normal(x), Q.square(x)),
101 Implies(Q.diagonal(x), Q.normal(x)),
112 Implies(Q.invertible(x), Q.square(x)),
[all …]
H A Dsathandlers.py7 from sympy.logic.boolalg import (Equivalent, And, Or, Implies)
231 return Implies(allargs_real, Implies(onearg_irrational, Q.irrational(expr)))
254 return Implies(allargs_prime, ~Q.prime(expr))
261 return Implies(allargs_imag_or_real, Implies(onearg_imaginary, Q.imaginary(expr)))
267 return Implies(allargs_real, Implies(onearg_irrational, Q.irrational(expr)))
276 return Implies(allargs_integer, Equivalent(anyarg_even, Q.even(expr)))
285 return Implies(allargs_square, Equivalent(Q.invertible(expr), allargs_invertible))
/dports/devel/libsimdpp/libsimdpp-2.1-400-g9dac213d/doc/wiki/arch/
H A Dselection.mwiki48 | Implies SSE2
58 | Implies SSE3
68 | Implies SSSE3
88 | Implies SSE4.1
98 | Implies SSE3.
108 | Implies SSE3.
118 | Implies SSE3.
128 | Implies AVX
138 | Implies AVX2
148 | Implies AVX512F
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/fz/constraints/
H A DLinearConstraints.java423 support.pose(new Implies(p4, new XeqC(p2[0], p3))); in int_lin_relation_imp()
466 support.pose(new Implies(p4, new XneqC(p2[0], p3))); in int_lin_relation_imp()
468 support.pose(new Implies(p4, new XneqC(p2[0], -p3))); in int_lin_relation_imp()
496 support.pose(new Implies(p4, new SumBool(p2, "!=", t))); in int_lin_relation_imp()
498 support.pose(new Implies(p4, new SumInt(p2, "!=", t))); in int_lin_relation_imp()
502 support.pose(new Implies(p4, new SumBool(p2, "!=", t))); in int_lin_relation_imp()
504 support.pose(new Implies(p4, new SumInt(p2, "!=", t))); in int_lin_relation_imp()
512 support.pose(new Implies(p4, new LinearInt(p2, p1, ">", p3))); in int_lin_relation_imp()
520 support.pose(new Implies(p4, new XlteqY(p2[0], p2[1]))); in int_lin_relation_imp()
525 support.pose(new Implies(p4, new XlteqY(p2[1], p2[0]))); in int_lin_relation_imp()
[all …]
/dports/devel/xsd/xsd-4.1.0.a11+dep/libxsd-frontend/xsd-frontend/traversal/
H A Dschema.hxx37 struct Implies: Edge<SemanticGraph::Implies> struct
39 Implies () in Implies() function
43 Implies (NodeBase& n) in Implies() function
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/test/
H A Dtest_cnf.py21 from pysmt.shortcuts import Implies, is_sat, reset_env, Symbol, Iff
38 self.assertValid(Implies(cnf, example.expr), logic=logic)
88 self.assertValid(Implies(cnf, expr), logic=logic)
96 f = Implies(Iff(a, b), Iff(c, d))
101 self.assertValid(Implies(cnf, f), logic=QF_BOOL)
H A Dtest_cvc4_quantifiers.py19 from pysmt.shortcuts import Symbol, ForAll, Solver, LT, Real, Int, Implies
29 f = ForAll([x], Implies(x,y))
38 f = ForAll([p], Implies(LT(Int(0), p), LT(q, p)))
47 f = ForAll([r], Implies(LT(Real(0), r), LT(s, r)))
/dports/devel/llvm90/llvm-9.0.1.src/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
176 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
278 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm10/llvm-10.0.1.src/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
176 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
278 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm11/llvm-11.0.1.src/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
176 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
176 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
262 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
278 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/lib/MC/
H A DMCSubtargetInfo.cpp36 void SetImpliedBits(FeatureBitset &Bits, const FeatureBitset &Implies, in SetImpliedBits() argument
40 Bits |= Implies; in SetImpliedBits()
42 if (Implies.test(FE.Value)) in SetImpliedBits()
43 SetImpliedBits(Bits, FE.Implies.getAsBitset(), FeatureTable); in SetImpliedBits()
51 if (FE.Implies.getAsBitset().test(Value)) { in ClearImpliedBits()
73 SetImpliedBits(Bits, FeatureEntry->Implies.getAsBitset(), FeatureTable); in ApplyFeatureFlag()
174 SetImpliedBits(Bits, CPUEntry->Implies.getAsBitset(), ProcFeatures); in getFeatures()
281 SetImpliedBits(FeatureBits, FeatureEntry->Implies.getAsBitset(), in ToggleFeature()
/dports/math/py-numpy/numpy-1.20.3/doc/source/reference/simd/
H A Dsimd-optimizations-tables.inc9 …Name Implies …
34 …Name Gather Implies …
50 Name Implies
63 Name Implies
76 Name Implies
93 Name Implies
/dports/www/chromium-legacy/chromium-88.0.4324.182/chromeos/crosapi/mojom/
H A Dkeystore_service.mojom57 // Implies failure.
60 // Implies success.
66 // Implies failure.
69 // Implies success.
76 // Implies failure.
79 // Implies success.
86 // Implies failure.
89 // Implies success.
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/logic/
H A Dtest_boolalg.py27 assert A >> B == Implies(A, B)
28 assert A << B == Implies(B, A)
154 assert Implies(True, True) is true
158 assert Implies(0, A) is true
159 assert Implies(1, 1) is true
160 assert Implies(1, 0) is false
630 assert Implies(F, T) is true
631 assert Implies(F, F) is true
632 assert Implies(T, T) is true
633 assert Implies(T, x) == x
[all …]

12345678910>>...65