Home
last modified time | relevance | path

Searched refs:maxO (Results 1 – 21 of 21) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A DOrder.hs248 m' -> foldl1 (.*.) $ map (foldl1 maxO) m'
262 supremum = foldr maxO Unknown
267 maxO :: (?cutoff :: CutOff) => Order -> Order -> Order
268 maxO o1 o2 = case (o1,o2) of function
277 (Mat m1, Mat m2) -> Mat (Matrix.add maxO m1 m2)
278 (Mat m, _) -> maxO (collapse m) o2
279 (_, Mat m) -> maxO o1 (collapse m)
313 { Semiring.add = maxO
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/app/pubseq_gateway/server/test/
H A Dperf-diff.py111 maxO = data1[param]['max'] variable
117 maxDiff = ((maxN / maxO) - 1.0) * 100 # percent
126 … round_half_up(minO, 1), round_half_up(maxO, 1), round_half_up(meanO, 1),
130 … convertToSeconds(minO), convertToSeconds(maxO), convertToSeconds(meanO),
H A Dperf-one.py98 maxO = data1[param]['max'] variable
103 … round_half_up(minO, 1), round_half_up(maxO, 1), round_half_up(meanO, 1)))
106 … convertToSeconds(minO), convertToSeconds(maxO), convertToSeconds(meanO)))
/dports/devel/collada-dom/collada-dom-2.5.0/dom/src/dae/
H A DdaeMetaElementAttribute.cpp13 daeInt minO, daeInt maxO) : daeMetaCMPolicy( container, parent, ordinal, minO, maxO ) in daeMetaElementAttribute() argument
22 … daeInt minO, daeInt maxO) : daeMetaElementAttribute( container, parent, ordinal, minO, maxO ) in daeMetaElementArrayAttribute() argument
H A DdaeMetaAny.cpp15 … daeInt minO, daeInt maxO) : daeMetaCMPolicy( container, parent, ordinal, minO, maxO ) in daeMetaAny() argument
H A DdaeMetaSequence.cpp12 daeInt minO, daeInt maxO) : in daeMetaSequence() argument
13 daeMetaCMPolicy( container, parent, ordinal, minO, maxO ) in daeMetaSequence()
H A DdaeMetaChoice.cpp13 …daeInt minO, daeInt maxO) : daeMetaCMPolicy( container, parent, ordinal, minO, maxO ), _choiceNum(… in daeMetaChoice() argument
H A DdaeMetaGroup.cpp14 daeMetaCMPolicy *parent, daeUInt ordinal, daeInt minO, daeInt maxO) : in daeMetaGroup() argument
15 daeMetaCMPolicy( container, parent, ordinal, minO, maxO ), _elementContainer( econ ) in daeMetaGroup()
/dports/devel/collada-dom/collada-dom-2.5.0/dom/include/dae/
H A DdaeMetaCMPolicy.h90 daeInt minO, daeInt maxO ) : _container( container ), _parent( parent ), _minOccurs( minO ), in daeMetaCMPolicy() argument
91 _maxOccurs( maxO ), _maxOrdinal( 0 ), _ordinalOffset( ordinal ) {} in daeMetaCMPolicy()
H A DdaeMetaElementAttribute.h39 …*container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1);
135 …*container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1);
H A DdaeMetaSequence.h29 …container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
H A DdaeMetaAny.h29 …container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
H A DdaeMetaGroup.h33 daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
H A DdaeMetaChoice.h30 …icy *parent = NULL, daeUInt choiceNum = 0, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
/dports/games/hedgewars-server/hedgewars-src-1.0.0/share/hedgewars/Data/Scripts/Multiplayer/
H A DRacer.lua699 local flashing, minO, maxO
702 minO, maxO = 164, 255
706 minO, maxO = 255, 255
709 …SetVisualGearValues(wpCirc[wpCount], wpX[wpCount], wpY[wpCount], minO, maxO, 1, flashing, 0, wpRad…
841 local flashing, minO, maxO
844 minO, maxO = 92, 255
847 minO, maxO = 164, 224
850 … SetVisualGearValues(wpCirc[i], nil, nil, minO, maxO, nil, flashing, nil, nil, nil, wpCol[i])
H A DTechRacer.lua245 local minO, maxO, flashing
248 minO, maxO = 92, 255
252 minO, maxO = 164, 224
255 return minO, maxO, flashing
604 local minO, maxO, flashing = FlashingHelper(wpCount)
606 …SetVisualGearValues(wpCirc[wpCount], wpX[wpCount], wpY[wpCount], minO, maxO, 1, flashing, 0, wpRad…
972 local minO, maxO, flashing = FlashingHelper(i)
973 SetVisualGearValues(wpCirc[i], wpX[i], wpY[i], minO, maxO, 1, flashing, 0, wpRad, 5, wpCol[i])
/dports/games/hedgewars/hedgewars-src-1.0.0/share/hedgewars/Data/Scripts/Multiplayer/
H A DRacer.lua699 local flashing, minO, maxO
702 minO, maxO = 164, 255
706 minO, maxO = 255, 255
709 …SetVisualGearValues(wpCirc[wpCount], wpX[wpCount], wpY[wpCount], minO, maxO, 1, flashing, 0, wpRad…
841 local flashing, minO, maxO
844 minO, maxO = 92, 255
847 minO, maxO = 164, 224
850 … SetVisualGearValues(wpCirc[i], nil, nil, minO, maxO, nil, flashing, nil, nil, nil, wpCol[i])
H A DTechRacer.lua245 local minO, maxO, flashing
248 minO, maxO = 92, 255
252 minO, maxO = 164, 224
255 return minO, maxO, flashing
604 local minO, maxO, flashing = FlashingHelper(wpCount)
606 …SetVisualGearValues(wpCirc[wpCount], wpX[wpCount], wpY[wpCount], minO, maxO, 1, flashing, 0, wpRad…
972 local minO, maxO, flashing = FlashingHelper(i)
973 SetVisualGearValues(wpCirc[i], wpX[i], wpY[i], minO, maxO, 1, flashing, 0, wpRad, 5, wpCol[i])
/dports/biology/mrbayes/MrBayes-3.2.7/src/
H A Dproposal.c8424 maxO = OMEGA_MAX; in Move_Omega()
8434 if (maxO-minO < window) in Move_Omega()
8436 window = maxO-minO; in Move_Omega()
8504 maxO = OMEGA_MAX; in Move_Omega_M()
8524 newO = maxO * maxO / newO; in Move_Omega_M()
8864 maxO = OMEGA_MAX; in Move_OmegaM3()
8872 window = maxO-minO; in Move_OmegaM3()
8932 maxO = value[2]; in Move_OmegaNeu()
8940 if (maxO-minO < window) in Move_OmegaNeu()
9033 maxO = KAPPA_MAX; in Move_OmegaPos()
[all …]
/dports/science/liggghts/LIGGGHTS-PUBLIC-3.8.0-26-g6e873439/lib/hotint/HotInt_V1/FEMesh/
H A DFEMesh_aux.cpp1628 int maxI, maxO; in ExportEdgesForNetgen() local
1648 maxO = the_polygon->OuterEdge().Length(); in ExportEdgesForNetgen()
1657 for(int j=1; j<=maxO; j++) in ExportEdgesForNetgen()
1685 for(int j=1; j<=maxO-1; j++) in ExportEdgesForNetgen()
1761 while((countIn<=maxI)&&(countOut<=maxO)) in ExportEdgesForNetgen()
1857 for(int j=1; j<=maxO; j++) in ExportEdgesForNetgen()
1864 j=maxO+1; // to break for-loop in ExportEdgesForNetgen()
/dports/lang/polyml/polyml-5.8.2/basis/
H A DInt.sml109 and (maxO, lenO) = maxShort(0, fromInt 8, fromInt 1) value
115 | baseOf StringCvt.OCT = (8, maxO, lenO)