/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/ |
H A D | Order.hs | 248 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 D | perf-diff.py | 111 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 D | perf-one.py | 98 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 D | daeMetaElementAttribute.cpp | 13 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 D | daeMetaAny.cpp | 15 … daeInt minO, daeInt maxO) : daeMetaCMPolicy( container, parent, ordinal, minO, maxO ) in daeMetaAny() argument
|
H A D | daeMetaSequence.cpp | 12 daeInt minO, daeInt maxO) : in daeMetaSequence() argument 13 daeMetaCMPolicy( container, parent, ordinal, minO, maxO ) in daeMetaSequence()
|
H A D | daeMetaChoice.cpp | 13 …daeInt minO, daeInt maxO) : daeMetaCMPolicy( container, parent, ordinal, minO, maxO ), _choiceNum(… in daeMetaChoice() argument
|
H A D | daeMetaGroup.cpp | 14 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 D | daeMetaCMPolicy.h | 90 daeInt minO, daeInt maxO ) : _container( container ), _parent( parent ), _minOccurs( minO ), in daeMetaCMPolicy() argument 91 _maxOccurs( maxO ), _maxOrdinal( 0 ), _ordinalOffset( ordinal ) {} in daeMetaCMPolicy()
|
H A D | daeMetaElementAttribute.h | 39 …*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 D | daeMetaSequence.h | 29 …container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
|
H A D | daeMetaAny.h | 29 …container, daeMetaCMPolicy *parent = NULL, daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
|
H A D | daeMetaGroup.h | 33 daeUInt ordinal = 0, daeInt minO = 1, daeInt maxO = 1 );
|
H A D | daeMetaChoice.h | 30 …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 D | Racer.lua | 699 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 D | TechRacer.lua | 245 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 D | Racer.lua | 699 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 D | TechRacer.lua | 245 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 D | proposal.c | 8424 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 D | FEMesh_aux.cpp | 1628 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 D | Int.sml | 109 and (maxO, lenO) = maxShort(0, fromInt 8, fromInt 1) value 115 | baseOf StringCvt.OCT = (8, maxO, lenO)
|