| .. | | 24-Aug-2018 | - |
| AbstractInterpretationException.cs | H A D | 24-Aug-2018 | 1.5 KiB | 38 | 9 |
| Analysers.cs | H A D | 24-Aug-2018 | 2.1 KiB | 52 | 20 |
| Analysis.ConstantEvaluator.cs | H A D | 24-Aug-2018 | 8.3 KiB | 150 | 106 |
| Analysis.GenericNumericalAnalysis.cs | H A D | 24-Aug-2018 | 6.6 KiB | 113 | 76 |
| Analysis.GenericValueAnalysis.cs | H A D | 24-Aug-2018 | 14.9 KiB | 275 | 203 |
| Analysis.cs | H A D | 24-Aug-2018 | 3.4 KiB | 66 | 33 |
| AssumeFalseVisitor.cs | H A D | 24-Aug-2018 | 3.7 KiB | 85 | 44 |
| AssumeTrueVisitor.cs | H A D | 24-Aug-2018 | 4.6 KiB | 108 | 61 |
| BoxedExpressionDecoder.cs | H A D | 24-Aug-2018 | 13.3 KiB | 291 | 229 |
| BoxedExpressionEncoder.cs | H A D | 24-Aug-2018 | 6.6 KiB | 149 | 105 |
| BoxedVariable.cs | H A D | 24-Aug-2018 | 6.5 KiB | 181 | 119 |
| ConstToIntervalEvaluator.cs | H A D | 24-Aug-2018 | 3 KiB | 73 | 37 |
| ConstantEvaluatorVisitor.cs | H A D | 24-Aug-2018 | 7.6 KiB | 172 | 124 |
| Counter.cs | H A D | 24-Aug-2018 | 1.9 KiB | 55 | 23 |
| DisInterval.cs | H A D | 24-Aug-2018 | 24.7 KiB | 594 | 450 |
| DisIntervalAssumer.cs | H A D | 24-Aug-2018 | 3.4 KiB | 69 | 34 |
| DisIntervalContext.cs | H A D | 24-Aug-2018 | 5.5 KiB | 139 | 86 |
| DisIntervalEnvironment.cs | H A D | 24-Aug-2018 | 3.3 KiB | 73 | 37 |
| EvaluateArithmeticWithOverflow.cs | H A D | 24-Aug-2018 | 2.8 KiB | 66 | 31 |
| EvaluateExpressionVisitor.cs | H A D | 24-Aug-2018 | 9.2 KiB | 219 | 149 |
| ExpressionOperator.cs | H A D | 24-Aug-2018 | 4.3 KiB | 115 | 75 |
| ExpressionType.cs | H A D | 24-Aug-2018 | 1.4 KiB | 37 | 9 |
| ExpressionViaStringComparer.cs | H A D | 24-Aug-2018 | 1.6 KiB | 38 | 9 |
| GenericExpressionVisitor.cs | H A D | 24-Aug-2018 | 16.6 KiB | 338 | 258 |
| GenericTypeExpressionVisitor.cs | H A D | 24-Aug-2018 | 2.8 KiB | 65 | 32 |
| GetThresholdVisitor.cs | H A D | 24-Aug-2018 | 3.7 KiB | 95 | 53 |
| IEnvironmentDomain.cs | H A D | 24-Aug-2018 | 1.6 KiB | 39 | 9 |
| IExpressionDecoder.cs | H A D | 24-Aug-2018 | 2.1 KiB | 53 | 17 |
| IExpressionEncoder.cs | H A D | 24-Aug-2018 | 1.7 KiB | 38 | 10 |
| IIntervalEnvironment.cs | H A D | 24-Aug-2018 | 3 KiB | 68 | 31 |
| Interval.cs | H A D | 24-Aug-2018 | 16.3 KiB | 404 | 301 |
| IntervalAssumeFalseVisitor.cs | H A D | 24-Aug-2018 | 4 KiB | 83 | 47 |
| IntervalAssumeTrueVisitor.cs | H A D | 24-Aug-2018 | 6.4 KiB | 128 | 87 |
| IntervalAssumer.cs | H A D | 24-Aug-2018 | 2.6 KiB | 56 | 23 |
| IntervalAssumerBase.cs | H A D | 24-Aug-2018 | 7.5 KiB | 163 | 114 |
| IntervalBase.cs | H A D | 24-Aug-2018 | 3.2 KiB | 77 | 33 |
| IntervalContext.cs | H A D | 24-Aug-2018 | 5.1 KiB | 137 | 85 |
| IntervalContextBase.cs | H A D | 24-Aug-2018 | 5.8 KiB | 146 | 67 |
| IntervalEnvironment.cs | H A D | 24-Aug-2018 | 2.9 KiB | 68 | 32 |
| IntervalEnvironmentBase.cs | H A D | 24-Aug-2018 | 16.6 KiB | 338 | 238 |
| IntervalInference.cs | H A D | 24-Aug-2018 | 32.3 KiB | 546 | 396 |
| IntervalRationalAssumerBase.cs | H A D | 24-Aug-2018 | 7 KiB | 148 | 105 |
| IntervalRationalContextBase.cs | H A D | 24-Aug-2018 | 3.7 KiB | 102 | 60 |
| LongToIntegerConstantEvaluator.cs | H A D | 24-Aug-2018 | 4.8 KiB | 114 | 69 |
| Monomial.cs | H A D | 24-Aug-2018 | 7.6 KiB | 210 | 142 |
| ObjectExtensions.cs | H A D | 24-Aug-2018 | 1.8 KiB | 47 | 17 |
| Polynomial.cs | H A D | 24-Aug-2018 | 31.4 KiB | 677 | 521 |
| Rational.cs | H A D | 24-Aug-2018 | 33 KiB | 815 | 639 |
| RationalThreshold.cs | H A D | 24-Aug-2018 | 1.9 KiB | 46 | 14 |
| Threshold.cs | H A D | 24-Aug-2018 | 3.8 KiB | 104 | 59 |
| TresholdDB.cs | H A D | 24-Aug-2018 | 3 KiB | 75 | 39 |
| ValueExpressionDecoder.cs | H A D | 24-Aug-2018 | 15.5 KiB | 333 | 256 |