Home
last modified time | relevance | path

Searched refs:UniversalSet (Results 1 – 25 of 59) sorted by relevance

123

/dports/math/py-sympy/sympy-1.9/sympy/sets/handlers/
H A Dunion.py6 from sympy.sets.sets import UniversalSet
61 @dispatch(UniversalSet, Set) # type: ignore # noqa:F811
106 @dispatch(Interval, UniversalSet) # type: ignore # noqa:F811
108 return S.UniversalSet
H A Dintersection.py7 from sympy.sets.sets import UniversalSet, imageset, ProductSet
448 @dispatch(UniversalSet, Set) # type: ignore # noqa:F811
/dports/math/py-sympy/sympy-1.9/sympy/sets/
H A D__init__.py15 UniversalSet = S.UniversalSet variable
H A Dsets.py1187 return S.UniversalSet
1347 return S.UniversalSet
1576 if B == S.UniversalSet or A.is_subset(B):
1691 class UniversalSet(Set, metaclass=Singleton): class
2410 return S.UniversalSet
H A Dconditionset.py89 def __new__(cls, sym, condition, base_set=S.UniversalSet):
/dports/math/symengine/symengine-0.8.1/symengine/
H A Dsets.cpp295 if (is_a<UniversalSet>(*o)) { in set_complement()
369 if (is_a<UniversalSet>(*o) or is_a<Complexes>(*o)) { in set_complement()
514 } else if (is_a<UniversalSet>(*o)) { in set_union()
628 hash_t UniversalSet::__hash__() const in __hash__()
634 bool UniversalSet::__eq__(const Basic &o) const in __eq__()
636 if (is_a<UniversalSet>(o)) in __eq__()
641 int UniversalSet::compare(const Basic &o) const in compare()
643 SYMENGINE_ASSERT(is_a<UniversalSet>(o)) in compare()
647 const RCP<const UniversalSet> &UniversalSet::getInstance() in getInstance()
1306 } else if (is_a<UniversalSet>(**it)) { in set_union()
[all …]
H A Dsets.h82 class UniversalSet : public Set
85 UniversalSet() in UniversalSet() function
93 void operator=(UniversalSet const &) = delete;
94 const static RCP<const UniversalSet> &getInstance();
496 inline RCP<const UniversalSet> universalset() in universalset()
498 return UniversalSet::getInstance(); in universalset()
H A Dtype_codes.inc108 SYMENGINE_ENUM(SYMENGINE_UNIVERSALSET, UniversalSet)
/dports/math/py-sympy/sympy-1.9/doc/src/modules/
H A Dsets.rst69 UniversalSet subsection
71 .. autoclass:: UniversalSet
/dports/math/py-Diofant/Diofant-0.13.0/diofant/tests/sets/
H A Dtest_sets.py166 assert Complement(S.Integers, S.UniversalSet) == EmptySet()
167 assert S.UniversalSet.complement(S.Integers) == EmptySet()
189 assert S.UniversalSet.complement(S.EmptySet) == S.EmptySet
190 assert S.UniversalSet.complement(S.Reals) == S.EmptySet
191 assert S.UniversalSet.complement(S.UniversalSet) == S.EmptySet
230 assert Intersection() == S.UniversalSet
596 assert S.EmptySet.intersection(S.UniversalSet) == S.EmptySet
741 U = S.UniversalSet
1011 assert (Complement(S.UniversalSet, a) ==
1012 Complement(S.UniversalSet,
[all …]
/dports/math/py-Diofant/Diofant-0.13.0/docs/modules/
H A Dsets.rst41 .. autoclass:: UniversalSet
/dports/math/py-sympy/sympy-1.9/sympy/sets/tests/
H A Dtest_sets.py58 S.UniversalSet]:
66 S.UniversalSet]:
311 assert Complement(S.Integers, S.UniversalSet) == EmptySet
312 assert S.UniversalSet.complement(S.Integers) == EmptySet
383 assert S.UniversalSet.complement(S.EmptySet) == S.EmptySet
384 assert S.UniversalSet.complement(S.Reals) == S.EmptySet
385 assert S.UniversalSet.complement(S.UniversalSet) == S.EmptySet
514 assert Intersection() == S.UniversalSet
1076 U = S.UniversalSet
1367 assert Complement(S.UniversalSet, a) == Complement(
[all …]
/dports/math/symengine/symengine-0.8.1/symengine/printers/
H A Dunicode.h38 void bvisit(const UniversalSet &x);
H A Dcodegen.h28 void bvisit(const UniversalSet &x);
H A Dstrprinter.h142 void bvisit(const UniversalSet &x);
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/blink/renderer/modules/mediastream/
H A Dmedia_stream_constraints_util_sets.cc551 return DiscreteSet<std::string>::UniversalSet(); in StringSetFromConstraint()
562 return DiscreteSet<bool>::UniversalSet(); in BoolSetFromConstraint()
577 return DiscreteSet<bool>::UniversalSet(); in RescaleSetFromConstraint()
H A Dmedia_stream_constraints_util_sets.h158 static DiscreteSet UniversalSet() { return DiscreteSet(); } in UniversalSet() function
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/blink/renderer/modules/mediastream/
H A Dmedia_stream_constraints_util_sets.cc552 return DiscreteSet<std::string>::UniversalSet(); in StringSetFromConstraint()
563 return DiscreteSet<bool>::UniversalSet(); in BoolSetFromConstraint()
578 return DiscreteSet<bool>::UniversalSet(); in RescaleSetFromConstraint()
H A Dmedia_stream_constraints_util_sets.h158 static DiscreteSet UniversalSet() { return DiscreteSet(); } in UniversalSet() function
/dports/net/h323plus/h323plus-1_27_2/include/
H A Dgccpdu.h386 GCC_UserData(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2512 GCC_ArrayOf_ChallengeItem(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2598 …GCC_ApplicationRecord_nonCollapsingCapabilities(unsigned tag = UniversalSet, TagClass tagClass = U…
2618 …GCC_ApplicationInvokeSpecifier_expectedCapabilitySet(unsigned tag = UniversalSet, TagClass tagClas…
2664 GCC_ArrayOf_Privilege(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2709 …GCC_ArrayOf_ConferenceDescriptor(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClas…
3007 GCC_ArrayOf_UserID(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
3049 …GCC_RosterUpdateIndication_applicationInformation(unsigned tag = UniversalSet, TagClass tagClass =…
3069 …GCC_ArrayOf_ApplicationInvokeSpecifier(unsigned tag = UniversalSet, TagClass tagClass = UniversalT…
3362 …GCC_RosterUpdateIndication_nodeInformation_nodeRecordList_refresh(unsigned tag = UniversalSet, Tag…
[all …]
H A Dmcspdu.h1549 … MCS_ArrayOf_ChannelAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1569 MCS_ArrayOf_ChannelId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1589 MCS_ArrayOf_UserId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1740 MCS_ArrayOf_TokenAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1760 MCS_ArrayOf_TokenId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
/dports/net/opal/opal-3.10.10/include/asn/
H A Dgcc.h388 GCC_UserData(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2514 GCC_ArrayOf_ChallengeItem(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2600 …GCC_ApplicationRecord_nonCollapsingCapabilities(unsigned tag = UniversalSet, TagClass tagClass = U…
2620 …GCC_ApplicationInvokeSpecifier_expectedCapabilitySet(unsigned tag = UniversalSet, TagClass tagClas…
2666 GCC_ArrayOf_Privilege(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
2711 …GCC_ArrayOf_ConferenceDescriptor(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClas…
3009 GCC_ArrayOf_UserID(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
3051 …GCC_RosterUpdateIndication_applicationInformation(unsigned tag = UniversalSet, TagClass tagClass =…
3071 …GCC_ArrayOf_ApplicationInvokeSpecifier(unsigned tag = UniversalSet, TagClass tagClass = UniversalT…
3364 …GCC_RosterUpdateIndication_nodeInformation_nodeRecordList_refresh(unsigned tag = UniversalSet, Tag…
[all …]
H A Dmcs.h1551 … MCS_ArrayOf_ChannelAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1571 MCS_ArrayOf_ChannelId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1591 MCS_ArrayOf_UserId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1742 MCS_ArrayOf_TokenAttributes(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
1762 MCS_ArrayOf_TokenId(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
/dports/net/h323plus/h323plus-1_27_2/include/h450/
H A Dh4503.h91 H4503_IntResultList(unsigned tag = UniversalSet, TagClass tagClass = UniversalTagClass);
/dports/math/symengine/symengine-0.8.1/symengine/tests/basic/
H A Dtest_sets.cpp75 using SymEngine::UniversalSet;
95 REQUIRE(not is_a<UniversalSet>(*r1));
259 REQUIRE(not is_a<UniversalSet>(*r0));
330 REQUIRE(not is_a<UniversalSet>(*r1));
404 REQUIRE(not is_a<UniversalSet>(*r1));
557 REQUIRE(not is_a<UniversalSet>(*r1));
587 REQUIRE(is_a<UniversalSet>(*r1));

123