Home
last modified time | relevance | path

Searched refs:TVar (Results 1 – 25 of 486) sorted by relevance

12345678910>>...20

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/
H A DIntervalEnvironmentBase.cs40 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 DIntervalInference.cs41 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 DMonomial.cs37 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 DPolynomial.cs39 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 DIntervalAssumerBase.cs35 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 DIntervalAssumeTrueVisitor.cs32 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 DIntervalRationalAssumerBase.cs35 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 DDisIntervalEnvironment.cs34 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 DIntervalEnvironment.cs34 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 DAnalysis.cs36 … 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 DAnalysis.GenericValueAnalysis.cs45 …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 DAnalysis.GenericNumericalAnalysis.cs41 …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 DIIntervalEnvironment.cs32 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 DIntervalAssumer.cs32 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 DValueExpressionDecoder.cs39 …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 DBoxedVariable.cs34 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 DIntervalAssumeFalseVisitor.cs32 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 DEvaluateExpressionVisitor.cs35 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 Dstm048.hs11 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 Dstm046.hs8 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 Dstm061.stdout2 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 DSTM.hs16 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 DTVar.hs21 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 DBuiltin.hs81 | 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 DUnify.hs37 | 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 …]

12345678910>>...20