Home
last modified time | relevance | path

Searched refs:TNumeric (Results 1 – 14 of 14) sorted by relevance

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/
H A DIntervalContextBase.cs34 abstract class IntervalContextBase<TInterval, TNumeric>
35 where TInterval : IntervalBase<TInterval, TNumeric> {
75 public abstract TInterval For (TNumeric value); in For()
76 public abstract TInterval For (TNumeric lower, TNumeric upper); in For()
81 public abstract bool IsLessThanZero (TNumeric value); in IsLessThanZero()
86 public abstract bool IsLessThan (TNumeric a, TNumeric b); in IsLessThan()
87 public abstract bool IsLessEqualThan (TNumeric a, TNumeric b); in IsLessEqualThan()
89 public abstract bool IsZero (TNumeric value); in IsZero()
91 public abstract bool IsNotZero (TNumeric value); in IsNotZero()
93 public abstract bool IsPlusInfinity (TNumeric value); in IsPlusInfinity()
[all …]
H A DIntervalAssumeTrueVisitor.cs32 class IntervalAssumeTrueVisitor<TVar, TExpr, TInterval, TNumeric> :
34 where TInterval : IntervalBase<TInterval, TNumeric>
43 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in DispatchCompare()
51 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitEqual()
58 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitLessThan()
65 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitLessEqualThan()
72 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitAddition()
80 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitDivision()
88 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitMultiply()
109 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in VisitNotEqual()
[all …]
H A DIntervalEnvironmentBase.cs37 …rvalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> : IIntervalEnvironment<TVar, TExpr, TInterva…
39 where TInterval : IntervalBase<TInterval, TNumeric>
42 public abstract IntervalContextBase<TInterval, TNumeric> Context { get; }
68 …isitor<IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>, TVar, TExpr, TInterval, TNumeric… in Eval()
113 …isitor<IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>, TVar, TExpr, TInterval, TNumeric… in EvalWithExtremes()
200 …EnvironmentBase<TVar, TExpr, TInterval, TNumeric> Join (IntervalEnvironmentBase<TVar, TExpr, TInte… in Join()
205 …EnvironmentBase<TVar, TExpr, TInterval, TNumeric> Join (IntervalEnvironmentBase<TVar, TExpr, TInte… in Join()
210 …EnvironmentBase<TVar, TExpr, TInterval, TNumeric> Widen (IntervalEnvironmentBase<TVar, TExpr, TInt… in Widen()
215 …EnvironmentBase<TVar, TExpr, TInterval, TNumeric> Meet (IntervalEnvironmentBase<TVar, TExpr, TInte… in Meet()
259 …ntBase<TVar, TExpr, TInterval, TNumeric> VisitTrue (TExpr guard, IntervalEnvironmentBase<TVar, TEx… in VisitTrue()
[all …]
H A DIntervalAssumerBase.cs35 abstract class IntervalAssumerBase<TVar, TExpr, TInterval, TNumeric>
36 where TInterval : IntervalBase<TInterval, TNumeric>
38 public virtual IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> AssumeEqual in AssumeEqual()
45 TNumeric> in AssumeEqual()
78 TNumeric in AssumeEqualToZero()
93 TNumeric in AssumeNotEqual()
112 TNumeric in AssumeLessThan()
120 (TVar v, IntervalEnvironmentBase<TVar,TExpr,TInterval,TNumeric> env); in AssumeNotEqualToZero()
123 (TExpr e, IntervalEnvironmentBase<TVar,TExpr,TInterval,TNumeric> env); in AssumeNotEqualToZero()
136 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env) in AssumeConstraints()
[all …]
H A DIntervalBase.cs37 public abstract class IntervalBase<TInterval, TNumeric> : IAbstractDomain<TInterval>
38 where TInterval : IntervalBase<TInterval, TNumeric> {
39 protected IntervalBase (TNumeric lowerBound, TNumeric upperBound) in IntervalBase()
45 public TNumeric UpperBound { get; protected set; }
46 public TNumeric LowerBound { get; protected set; }
75 protected abstract bool IsFiniteBound (TNumeric n); in IsFiniteBound()
H A DIntervalAssumeFalseVisitor.cs32 class IntervalAssumeFalseVisitor<TVar, TExpr, TInterval, TNumeric> :
33 … AssumeFalseVisitor<IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>, TVar, TExpr>
34 where TInterval : IntervalBase<TInterval, TNumeric>
41 … public override IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> Visit (TExpr expr, in Visit()
45 … TNumeric> data) in Visit()
75 … protected override IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> DispatchCompare ( in DispatchCompare()
77 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> data) in DispatchCompare()
H A DEvaluateExpressionVisitor.cs35 class EvaluateExpressionVisitor<TEnv, TVar, TExpr, TInterval, TNumeric> :
37 where TEnv : IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>
39 where TInterval : IntervalBase<TInterval, TNumeric> {
42 … <IntervalContextBase<TInterval, TNumeric>, TVar, TExpr, TInterval, TNumeric> constToIntv;
54 … <IntervalContextBase<TInterval, TNumeric>, TVar, TExpr, TInterval, TNumeric> ( in EvaluateExpressionVisitor()
H A DConstToIntervalEvaluator.cs32 class ConstToIntervalEvaluator<TContext, TVar, TExpr, TInterval, TNumeric> :
34 where TContext : IntervalContextBase<TInterval, TNumeric>
36 where TInterval : IntervalBase<TInterval, TNumeric> {
H A DIIntervalEnvironment.cs38 …interface IIntervalEnvironment<TVar, TExpr, TInterval, TNumeric> : INumericalEnvironmentDomain<TVa…
39 where TInterval : IntervalBase<TInterval, TNumeric> {
40 IntervalContextBase<TInterval, TNumeric> Context { get; }
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/corelib/
H A Dncbistr.hpp3492 …pename enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) …
3496 return x_VerifyIntLimits<TNumeric>(n, str, flags) ? (TNumeric)n : 0; in x_StringToNumeric()
3499 …e enable_if< is_integral<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) < s…
3507 …is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == sizeof(int) && …
3513 …l<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) == sizeof(unsigned int) &&…
3531 …is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == sizeof(Int8) &&…
3537 …egral<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) == sizeof(Uint8) && !i…
3588 …e enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == si…
3614 … enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == siz…
3653 …e enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) <= si…
[all …]
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/include/corelib/
H A Dncbistr.hpp3492 …pename enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) …
3496 return x_VerifyIntLimits<TNumeric>(n, str, flags) ? (TNumeric)n : 0; in x_StringToNumeric()
3499 …e enable_if< is_integral<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) < s…
3507 …is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == sizeof(int) && …
3513 …l<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) == sizeof(unsigned int) &&…
3531 …is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == sizeof(Int8) &&…
3537 …egral<TNumeric>::value && is_unsigned<TNumeric>::value && (sizeof(TNumeric) == sizeof(Uint8) && !i…
3588 …e enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == si…
3614 … enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) == siz…
3653 …e enable_if< is_integral<TNumeric>::value && is_signed<TNumeric>::value && (sizeof(TNumeric) <= si…
[all …]
/dports/lang/mono/mono-5.10.1.57/external/api-snapshot/profiles/net_4_x/
H A DMono.CodeContracts.cs201 …TNumeric> : Mono.CodeContracts.Static.Lattices.IAbstractDomain<TInterval> where TInterval : Mono.C…
203 protected IntervalBase(TNumeric lowerBound, TNumeric upperBound) { } in IntervalBase()
209 …public TNumeric LowerBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { thr…
211 …public TNumeric UpperBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { thr…
215 protected abstract bool IsFiniteBound(TNumeric n); in IsFiniteBound()
/dports/lang/mono/mono-5.10.1.57/external/binary-reference-assemblies/src/mono/
H A DMono.CodeContracts.cs202 …TNumeric> : Mono.CodeContracts.Static.Lattices.IAbstractDomain<TInterval> where TInterval : Mono.C…
204 protected IntervalBase(TNumeric lowerBound, TNumeric upperBound) { } in IntervalBase()
210 …public TNumeric LowerBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { thr…
212 …public TNumeric UpperBound { [System.Runtime.CompilerServices.CompilerGeneratedAttribute]get { thr…
216 protected abstract bool IsFiniteBound(TNumeric n); in IsFiniteBound()
/dports/lang/nbc/
H A DmwGenericLex.pas208 TNumeric = class(TAny) class
559 constructor TNumeric.Create(AParent: TAny);