/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/ |
H A D | IntervalEnvironmentBase.cs | 40 where TVar : IEquatable<TVar> { 95 public TInterval Eval (TVar var) in Eval() 163 public bool Contains (TVar v) in Contains() 173 …public IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> With (TVar var, TInterval interva… in With() 281 …icalEnvironmentDomain<TVar, TExpr> IAbstractDomain<INumericalEnvironmentDomain<TVar, TExpr>>.Join … in Join() argument 286 …INumericalEnvironmentDomain<TVar, TExpr> IAbstractDomain<INumericalEnvironmentDomain<TVar, TExpr>>… in Join() argument 293 …calEnvironmentDomain<TVar, TExpr> IAbstractDomain<INumericalEnvironmentDomain<TVar, TExpr>>.Widen … in Widen() argument 298 …icalEnvironmentDomain<TVar, TExpr> IAbstractDomain<INumericalEnvironmentDomain<TVar, TExpr>>.Meet … in Meet() argument 318 …INumericalEnvironmentDomain<TVar, TExpr> IEnvironmentDomain<INumericalEnvironmentDomain<TVar, TExp… in AssumeTrue() 323 …INumericalEnvironmentDomain<TVar, TExpr> IEnvironmentDomain<INumericalEnvironmentDomain<TVar, TExp… in AssumeFalse() [all …]
|
H A D | IntervalInference.cs | 41 where TVar : IEquatable<TVar> 82 where TVar : IEquatable<TVar> 124 where TVar : IEquatable<TVar> 245 where TVar : IEquatable<TVar> 266 TVar leftVar, TVar rightVar, 270 where TVar : IEquatable<TVar> 282 where TVar : IEquatable<TVar> 325 where TVar : IEquatable<TVar> 373 where TVar : IEquatable<TVar> 411 where TVar : IEquatable<TVar> [all …]
|
H A D | Monomial.cs | 37 struct Monomial<TVar> { 38 static readonly IComparer<TVar> Comparer = new ExpressionViaStringComparer<TVar> (); 62 private Monomial (TVar x) in Monomial() 74 … variables = k == Rational.Zero ? Sequence<TVar>.Empty : Sequence<TVar>.Singleton (x); in Monomial() 99 public Monomial<TVar> Rename (TVar x, TVar rename) in Rename() 104 Func<TVar, TVar> renamer = v => v.Equals (x) ? rename : v; in Rename() 119 public static Monomial<TVar> operator - (Monomial<TVar> m) in operator -() 129 public static Monomial<TVar> From (Rational coeff, Sequence<TVar> vars) in From() 134 public static Monomial<TVar> From (Rational coeff, IEnumerable<TVar> vars) in From() 139 … static Monomial<TVar> From<T> (Rational coeff, T vars, Func<T, IEnumerable<TVar>> toEnumerable) in From() [all …]
|
H A D | Polynomial.cs | 39 struct Polynomial<TVar, TExpr> 40 where TVar : IEquatable<TVar> { struct 64 … public Polynomial (ExpressionOperator op, Monomial<TVar>[] left, Monomial<TVar>[] right) in Polynomial() argument 73 … public Polynomial (ExpressionOperator op, Monomial<TVar>[] left, Monomial<TVar> right) in Polynomial() argument 162 static Monomial<TVar>[] DuplicateFrom (Monomial<TVar>[] original) in DuplicateFrom() argument 209 … static bool TrySimplifyMonomes (Monomial<TVar>[] monomes, out Monomial<TVar>[] result) in TrySimplifyMonomes() argument 214 var dict = new Dictionary<ListEqual<TVar>, Monomial<TVar>> (); in TrySimplifyMonomes() 347 static bool TryMinus (Polynomial<TVar, TExpr> p, out Polynomial<TVar, TExpr> result) in TryMinus() argument 374 …static Polynomial<TVar, TExpr> Concatenate (Polynomial<TVar, TExpr> left, Polynomial<TVar, TExpr> … in Concatenate() argument 512 poly = new Polynomial<TVar, TExpr> (Monomial<TVar>.From (pair.Key)); in VisitConstant() [all …]
|
H A D | IntervalAssumerBase.cs | 35 abstract class IntervalAssumerBase<TVar, TExpr, TInterval, TNumeric> 37 where TVar : IEquatable<TVar> { 42 <TVar, in AssumeEqual() 69 (TVar var, in AssumeEqualToZero() 72 TVar in AssumeEqualToZero() 89 <TVar, in AssumeNotEqual() 108 <TVar, in AssumeLessThan() 120 (TVar v, IntervalEnvironmentBase<TVar,TExpr,TInterval,TNumeric> env); in AssumeNotEqualToZero() 126 … (TInterval intv, TVar right, IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env); in AssumeLessEqualThan() 129 … (TInterval intv, TVar right, IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> env); in AssumeLessThan() [all …]
|
H A D | IntervalAssumeTrueVisitor.cs | 32 class IntervalAssumeTrueVisitor<TVar, TExpr, TInterval, TNumeric> : 33 … AssumeTrueVisitor<IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>, TVar, TExpr> 35 where TVar : IEquatable<TVar> { 36 public IntervalAssumeTrueVisitor (IExpressionDecoder<TVar, TExpr> decoder) in IntervalAssumeTrueVisitor() argument 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() [all …]
|
H A D | IntervalRationalAssumerBase.cs | 35 IntervalAssumerBase<TVar, TExpr, TInterval, Rational> 37 where TVar : IEquatable<TVar> { 43 …alInference.ConstraintsFor.LessThan<IIntervalEnvironment<TVar, TExpr, TInterval, Rational>, TVar, … in AssumeLessThan() 64 … <IntervalEnvironmentBase<TVar, TExpr, TInterval, Rational>, TVar, TExpr, TInterval> in AssumeLessEqualThan() 79 … <IntervalEnvironmentBase<TVar, TExpr, TInterval, Rational>, TVar, TExpr, TInterval> in AssumeGreaterEqualThanZero() 86 TVar right, in AssumeLessThan() 88 <TVar, in AssumeLessThan() 98 … <IntervalEnvironmentBase<TVar, TExpr, TInterval, Rational>, TVar, TExpr, TInterval> in AssumeLessThan() 107 … TInterval intv, TVar right, IntervalEnvironmentBase<TVar, TExpr, TInterval, Rational> env) in AssumeLessEqualThan() 112 … <IntervalEnvironmentBase<TVar, TExpr, TInterval, Rational>, TVar, TExpr, TInterval> in AssumeLessEqualThan() [all …]
|
H A D | DisIntervalEnvironment.cs | 34 class DisIntervalEnvironment<TVar, TExpr> : 35 … IntervalEnvironmentBase<TVar, TExpr, DisInterval, Rational> where TVar : IEquatable<TVar> { 36 static DisIntervalAssumer<TVar, TExpr> cached_assumer; 38 DisIntervalEnvironment (IExpressionDecoder<TVar, TExpr> decoder, in DisIntervalEnvironment() argument 39 EnvironmentDomain<TVar, DisInterval> varsToInterval) in DisIntervalEnvironment() argument 44 public DisIntervalEnvironment (IExpressionDecoder<TVar, TExpr> decoder) in DisIntervalEnvironment() argument 49 public override IntervalAssumerBase<TVar, TExpr, DisInterval, Rational> Assumer 54 (cached_assumer = new DisIntervalAssumer<TVar, TExpr> ()); 61 EnvironmentDomain<TVar, DisInterval> varsToIntervals) in NewInstance() argument 63 return new DisIntervalEnvironment<TVar, TExpr> (Decoder, varsToIntervals); in NewInstance() [all …]
|
H A D | IntervalEnvironment.cs | 34 class IntervalEnvironment<TVar, TExpr> : 35 IntervalEnvironmentBase<TVar, TExpr, Interval, Rational> 36 where TVar : IEquatable<TVar> { 37 static IntervalAssumer<TVar, TExpr> cachedAssumer; 39 public IntervalEnvironment (IExpressionDecoder<TVar, TExpr> decoder) in IntervalEnvironment() argument 45 (IExpressionDecoder<TVar, TExpr> decoder, in IntervalEnvironment() argument 46 EnvironmentDomain<TVar, Interval> varsToInterval) in IntervalEnvironment() argument 51 public override IntervalAssumerBase<TVar, TExpr, Interval, Rational> 57 (EnvironmentDomain<TVar, Interval> varsToIntervals) in NewInstance() argument 59 return new IntervalEnvironment<TVar, TExpr> (Decoder, varsToIntervals); in NewInstance() [all …]
|
H A D | Analysis.cs | 36 … public static IMethodResult<TVar> RunArithmeticAnalysis<TVar, TExpr> (string methodName, 37 … IMethodDriver<TExpr, TVar> 39 where TVar : IEquatable<TVar> 42 return Bind<TVar, TExpr>.RunArithmeticAnalysis (methodName, methodDriver); 45 …static partial class Bind<TVar, TExpr> where TExpr : IEquatable<TExpr> where TVar : IEquatable<TVa… 46 public static IMethodResult<TVar> RunArithmeticAnalysis (string methodName, in RunArithmeticAnalysis() 47 … IMethodDriver<TExpr, TVar> methodDriver) in RunArithmeticAnalysis() 55 public static IMethodResult<TVar> RunAnalysis<TDomain> (string methodName, in RunAnalysis() 56 … IMethodDriver<TExpr, TVar> methodDriver, in RunAnalysis() 57 … IAbstractAnalysis<TDomain, TVar> in RunAnalysis() [all …]
|
H A D | Analysis.GenericValueAnalysis.cs | 45 …static partial class Bind<TVar, TExpr> where TExpr : IEquatable<TExpr> where TVar : IEquatable<TVa… 47 ILVisitorBase<APC, TVar, TVar, TDomain, TDomain>, 48 IAbstractAnalysis<TDomain, TVar>, 49 IMethodResult<TVar> 51 readonly IMethodDriver<TExpr, TVar> method_driver; 57 BoxedExpressionDecoder<TVar, TExpr> expression_decoder; 63 BoxedVariable<TVar>.ResetFreshVariableCounter (); in GenericValueAnalysis() 89 public IILVisitor<APC, TVar, TVar, TDomain, TDomain> GetVisitor () in GetVisitor() 121 … IImmutableMap<TVar, Sequence<TVar>> 153 …IFactQuery<BoxedExpression, TVar> IMethodAnalysisFixPoint<TVar>.FactQuery { get { return FactQuery… [all …]
|
H A D | Analysis.GenericNumericalAnalysis.cs | 41 …static partial class Bind<TVar, TExpr> where TExpr : IEquatable<TExpr> where TVar : IEquatable<TVa… 47 … IMethodDriver<TExpr, TVar> methodDriver, in GenericNumericalAnalysis() 54 … public override INumericalEnvironmentDomain<BoxedVariable<TVar>, BoxedExpression> 72 public override IFactQuery<BoxedExpression, TVar> FactQuery in FactQuery() 77 return new ConstantPropagationFactQuery<TVar> (); in FactQuery() 82 … INumericalEnvironmentDomain<BoxedVariable<TVar>, BoxedExpression> data) in Entry() 85 TVar variable; in Entry() 99 … INumericalEnvironmentDomain<BoxedVariable<TVar>, BoxedExpression> SetInitialRange in SetInitialRange() argument 100 (TVar variable, TypeNode type, in SetInitialRange() 101 … INumericalEnvironmentDomain<BoxedVariable<TVar>, BoxedExpression> data) in SetInitialRange() [all …]
|
H A D | IIntervalEnvironment.cs | 32 interface INumericalEnvironmentDomain<TVar, TExpr> : 33 IEnvironmentDomain<INumericalEnvironmentDomain<TVar, TExpr>, TVar, TExpr> { 34 … INumericalEnvironmentDomain<TVar, TExpr> AssumeVariableIn (TVar var, Interval interval); in AssumeVariableIn() 35 … INumericalEnvironmentDomain<TVar, TExpr> AssumeLessEqualThan (TExpr left, TExpr right); in AssumeLessEqualThan() 38 …interface IIntervalEnvironment<TVar, TExpr, TInterval, TNumeric> : INumericalEnvironmentDomain<TVa… 43 TInterval Eval (TVar expr); in Eval() 45 bool TryGetValue (TVar rightVar, out TInterval intv); in TryGetValue() 49 … public static INumericalEnvironmentDomain<TVar, TExpr> AssumeInInterval<TVar, TExpr> ( in AssumeInInterval() 50 … this INumericalEnvironmentDomain<TVar, TExpr> domain, TExpr expr, Interval intv, in AssumeInInterval() argument 51 IExpressionEncoder<TVar, TExpr> encoder) in AssumeInInterval() argument
|
H A D | IntervalAssumer.cs | 32 class IntervalAssumer<TVar, TExpr> : IntervalRationalAssumerBase<TVar, TExpr, Interval> 33 where TVar : IEquatable<TVar> { 34 … public override IntervalEnvironmentBase<TVar, TExpr, Interval, Rational> AssumeNotEqual in AssumeNotEqual() argument 35 … (TExpr left, TExpr right, IntervalEnvironmentBase<TVar, TExpr, Interval, Rational> env) in AssumeNotEqual() 37 IntervalInference.InferenceResult<TVar, Interval> resultLeft; in AssumeNotEqual() 38 IntervalInference.InferenceResult<TVar, Interval> resultRight; in AssumeNotEqual() 42 … IntervalInference.InferenceResult<TVar, Interval> join = resultLeft.Join (resultRight); in AssumeNotEqual() 49 … public override IntervalEnvironmentBase<TVar, TExpr, Interval, Rational> AssumeNotEqualToZero in AssumeNotEqualToZero() argument 50 (TVar v, IntervalEnvironmentBase<TVar, TExpr, Interval, Rational> env) in AssumeNotEqualToZero()
|
H A D | ValueExpressionDecoder.cs | 39 …class ValueExpressionDecoder<TVar, TExpr> : FullExpressionDecoder<TVar, TExpr>, IExpressionDecoder… 40 where TVar : IEquatable<TVar> 54 #region IExpressionDecoder<TVar,TExpr> Members 114 if (VisitorForSizeOf<TVar, TExpr>.IsSizeOf (expr, out type, this)) { in TrySizeOf() 157 public string NameOf (TVar variable) in NameOf() 249 public ExpressionOperator LoadNull (TExpr pc, TVar dest, TExpr polarity) in LoadNull() 259 … public ExpressionOperator Sizeof (TExpr pc, TypeNode type, TVar dest, TExpr data) in Sizeof() 269 … public ExpressionOperator SymbolicConstant (TExpr pc, TVar variable, TExpr data) in SymbolicConstant() 294 public ExpressionType LoadNull (TExpr pc, TVar dest, Dummy polarity) in LoadNull() 313 … public ExpressionType Sizeof (TExpr pc, TypeNode type, TVar dest, Dummy data) in Sizeof() [all …]
|
H A D | BoxedVariable.cs | 34 class BoxedVariable<TVar> : IEquatable<BoxedVariable<TVar>> { 37 readonly TVar variable; 39 public BoxedVariable (TVar variable) in BoxedVariable() 47 this.variable = default(TVar); in BoxedVariable() 55 variable = default (TVar); in BoxedVariable() 60 public bool Equals (BoxedVariable<TVar> that) in Equals() 79 if (obj is TVar && inner_variable == null) in Equals() 82 var that = obj as BoxedVariable<TVar>; in Equals() 112 public bool TryUnpackVariable (out TVar value) in TryUnpackVariable() 120 public static BoxedVariable<TVar> SlackVariable () in SlackVariable() [all …]
|
H A D | IntervalAssumeFalseVisitor.cs | 32 class IntervalAssumeFalseVisitor<TVar, TExpr, TInterval, TNumeric> : 33 … AssumeFalseVisitor<IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric>, TVar, TExpr> 35 where TVar : IEquatable<TVar> { 36 public IntervalAssumeFalseVisitor (IExpressionDecoder<TVar, TExpr> decoder) in IntervalAssumeFalseVisitor() argument 41 … public override IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> Visit (TExpr expr, in Visit() argument 43 … <TVar, TExpr, in Visit() 75 … protected override IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> DispatchCompare ( in DispatchCompare() argument 77 IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> data) in DispatchCompare()
|
H A D | EvaluateExpressionVisitor.cs | 35 class EvaluateExpressionVisitor<TEnv, TVar, TExpr, TInterval, TNumeric> : 36 GenericExpressionVisitor<Counter<TEnv>, TInterval, TVar, TExpr> 37 where TEnv : IntervalEnvironmentBase<TVar, TExpr, TInterval, TNumeric> 38 where TVar : IEquatable<TVar> 48 public EvaluateExpressionVisitor (IExpressionDecoder<TVar, TExpr> decoder) in EvaluateExpressionVisitor() argument 175 readonly Dictionary<TVar, int> occurences; 177 readonly IExpressionDecoder<TVar, TExpr> decoder; 179 Sequence<TVar> duplicated; 184 occurences = new Dictionary<TVar, int> (); in VariableOccurences() 185 duplicated = Sequence<TVar>.Empty; in VariableOccurences() [all …]
|
/dports/lang/ghc/ghc-8.10.7/libraries/stm/tests/ |
H A D | stm048.hs | 11 initTVars :: STM (TVar Int, TVar Int) 17 optionOne :: TVar Int -> TVar Int -> STM () 23 optionTwo :: TVar Int -> TVar Int -> STM () 29 elseTestA :: TVar Int -> TVar Int -> STM () 34 elseTestB :: TVar Int -> TVar Int -> STM () 39 elseTestC :: TVar Int -> TVar Int -> STM () 43 elseTestD :: TVar Int -> TVar Int -> STM () 47 elseTestE :: TVar Int -> TVar Int -> STM () 51 elseTestZ :: TVar Int -> TVar Int -> STM () 55 snapshot :: TVar Int -> TVar Int -> STM (Int, Int)
|
H A D | stm046.hs | 8 inittvars :: STM (TVar String, TVar String) 13 stmops :: TVar String -> TVar String -> STM String 18 stmupdates :: TVar String -> TVar String -> STM () 22 internalexn :: TVar String -> TVar String -> STM () 28 internalexn2 :: TVar String -> TVar String -> STM ()
|
H A D | stm061.stdout | 2 TVar contains 42 5 TVar contains 42 7 TVar contains 17 10 TVar contains 17 12 TVar contained 0 at end of atomic block 13 TVar contains 0 15 TVar contains 0
|
/dports/lang/ghc/ghc-8.10.7/libraries/stm/Control/Sequential/ |
H A D | STM.hs | 16 TVar, newTVar, newTVarIO, readTVar, readTVarIO, writeTVar 73 newtype TVar a = TVar (IORef a) type 76 newTVar :: a -> STM (TVar a) 79 newTVarIO :: a -> IO (TVar a) 82 return (TVar ref) 84 readTVar :: TVar a -> STM a 85 readTVar (TVar ref) = STM (const (readIORef ref)) 88 readTVarIO :: TVar a -> IO a 89 readTVarIO (TVar ref) = readIORef ref 91 writeTVar :: TVar a -> a -> STM () [all …]
|
/dports/lang/ghc/ghc-8.10.7/libraries/stm/Control/Concurrent/STM/ |
H A D | TVar.hs | 21 module Control.Concurrent.STM.TVar ( 23 TVar, 52 modifyTVar :: TVar a -> (a -> a) -> STM () 62 modifyTVar' :: TVar a -> (a -> a) -> STM () 73 stateTVar :: TVar s -> (s -> (a, s)) -> STM a 86 swapTVar :: TVar a -> a -> STM a 98 mkWeakTVar :: TVar a -> IO () -> IO (Weak (TVar a)) 99 mkWeakTVar t@(TVar t#) (IO finalizer) = IO $ \s ->
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/Treeless/ |
H A D | Builtin.hs | 81 | isSuc c -> TLam (tPlusK 1 (TVar 0)) 82 | isPos c -> TLam (TVar 0) 83 | isNegSuc c -> TLam $ tNegPlusK 1 (TVar 0) 96 | isForce q -> tr $ TLet e $ mkTApp (tOp PSeq (TVar 0) $ mkTApp (raise 1 f) [TVar 0]) es 125 applySubst ([TVar 1, TVar 0] ++# wkS 2 idS) b 129 TLet (tOp PSub (TVar e) (tInt k)) b 138 sub = applySubst (TVar e :# IdS) 148 body b = TLet (tNegPlusK 1 (TVar e)) b 153 TAGuard (tOp PLt (TVar e) (tInt (-k))) $ 154 body $ TLet (tNegPlusK (k + 1) (TVar $ e + 1)) b [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
H A D | Unify.hs | 37 | UniRecursive TVar Type 38 | UniNonPolyDepends TVar [TParam] 39 | UniNonPoly TVar Type 53 mgu (TVar x) t = bindVar x t 54 mgu t (TVar x) = bindVar x t 97 bindVar :: TVar -> Type -> Result MGU 99 bindVar x (tNoUser -> TVar y) 102 bindVar v@(TVBound {}) (tNoUser -> TVar v1@(TVFree {})) = bindVar v1 (TVar v) 106 then return (emptySubst, [TVar v =#= t]) 113 return (uncheckedSingleSubst y (TVar x), []) [all …]
|