Home
last modified time | relevance | path

Searched defs:maxCard (Results 1 – 12 of 12) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/set/var/
H A Dset.cpp47 unsigned int minCard, unsigned int maxCard) in SetVar()
62 unsigned int minCard, unsigned int maxCard) in SetVar()
75 unsigned int minCard, unsigned int maxCard) in SetVar()
91 unsigned int minCard, unsigned int maxCard) in SetVar()
/dports/math/gecode/gecode-0916a1a/gecode/set/
H A Darray.cpp53 unsigned int maxCard) in SetVarArray()
73 unsigned int minCard,unsigned int maxCard) in SetVarArray()
92 unsigned int minCard,unsigned int maxCard) in SetVarArray()
113 unsigned int minCard, unsigned int maxCard) in SetVarArray()
134 unsigned int maxCard) in SetVarArgs()
154 unsigned int minCard,unsigned int maxCard) in SetVarArgs()
173 unsigned int minCard,unsigned int maxCard) in SetVarArgs()
194 unsigned int minCard, unsigned int maxCard) in SetVarArgs()
/dports/math/gecode/gecode-0916a1a/test/set/
H A Dconstruct.cpp56 unsigned int maxCard = Gecode::Set::Limits::card, in con()
89 unsigned int maxCard = Gecode::Set::Limits::card, in con()
121 unsigned int maxCard = Gecode::Set::Limits::card, in con()
153 unsigned int maxCard = Gecode::Set::Limits::card, in con()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.p2/bundles/org.eclipse.equinox.p2.metadata/src/org/eclipse/equinox/p2/metadata/
H A DMetadataFactory.java570 IMatchExpression<IInstallableUnit> filter, int minCard, int maxCard, boolean greedy) { in createRequirement()
598 …IMatchExpression<IInstallableUnit> filter, int minCard, int maxCard, boolean greedy, String descri… in createRequirement()
618 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy) { in createRequirement()
639 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy, in createRequirement()
663 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy, in createRequirement()
684 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy) { in createRequirement()
703 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy, in createRequirement()
922 IMatchExpression<IInstallableUnit> envFilter, int minCard, int maxCard, boolean greedy, in createRequirementInternal()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_enumeration.cpp70 bool TermEnumeration::mayComplete(TypeNode tn, unsigned maxCard) in mayComplete()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.p2/bundles/org.eclipse.equinox.p2.tests/src/org/eclipse/equinox/p2/tests/publisher/actions/
H A DActionTest.java98 …space, String name, VersionRange range, String envFilter, int minCard, int maxCard, boolean greedy… in verifyRequirement()
103 …, String namespace, String propsFilter, String envFilter, int minCard, int maxCard, boolean greedy… in verifyRequirement()
/dports/math/gecode/gecode-0916a1a/gecode/set/element/
H A DunionConst.hpp148 unsigned int maxCard = 0; in propagate() local
H A Dunion.hpp141 unsigned int maxCard = 0; in propagate() local
/dports/graphics/blender/blender-2.91.0/source/blender/freestyle/intern/view_map/
H A DViewMapBuilder.cpp451 unsigned maxIndex, maxCard; in computeCumulativeVisibility() local
658 unsigned maxIndex, maxCard; in computeDetailedVisibility() local
838 unsigned maxIndex, maxCard; in computeFastVisibility() local
1576 unsigned maxIndex, maxCard; in ComputeRayCastingVisibility() local
1733 unsigned maxIndex, maxCard; in ComputeFastRayCastingVisibility() local
/dports/audio/audacity/audacity-Audacity-3.1.3/lib-src/lv2/sord/src/
H A Dsord_validate.c592 const SordNode* maxCard = sord_get( in check_instance() local
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/piper-vamp-cpp/ext/sord/src/
H A Dsord_validate.c590 const SordNode* maxCard = sord_get( in check_instance() local
/dports/devel/sord/sord-0.16.8/src/
H A Dsord_validate.c600 const SordNode* maxCard = in check_instance() local