Mono.CodeContracts.Static.Analysis.Numerical « Mono.CodeContracts « class « mcs - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	AbstractInterpretationException.cs	1534	log plain
-rw-r--r--	Analysers.cs	2185	log plain
-rw-r--r--	Analysis.ConstantEvaluator.cs	8491	log plain
-rw-r--r--	Analysis.GenericNumericalAnalysis.cs	6712	log plain
-rw-r--r--	Analysis.GenericValueAnalysis.cs	15258	log plain
-rw-r--r--	Analysis.cs	3511	log plain
-rw-r--r--	AssumeFalseVisitor.cs	3766	log plain
-rw-r--r--	AssumeTrueVisitor.cs	4693	log plain
-rw-r--r--	BoxedExpressionDecoder.cs	13613	log plain
-rw-r--r--	BoxedExpressionEncoder.cs	6736	log plain
-rw-r--r--	BoxedVariable.cs	6615	log plain
-rw-r--r--	ConstToIntervalEvaluator.cs	3023	log plain
-rw-r--r--	ConstantEvaluatorVisitor.cs	7732	log plain
-rw-r--r--	Counter.cs	1976	log plain
-rw-r--r--	DisInterval.cs	25310	log plain
-rw-r--r--	DisIntervalAssumer.cs	3449	log plain
-rw-r--r--	DisIntervalContext.cs	5588	log plain
-rw-r--r--	DisIntervalEnvironment.cs	3340	log plain
-rw-r--r--	EvaluateArithmeticWithOverflow.cs	2867	log plain
-rw-r--r--	EvaluateExpressionVisitor.cs	9464	log plain
-rw-r--r--	ExpressionOperator.cs	4364	log plain
-rw-r--r--	ExpressionType.cs	1442	log plain
-rw-r--r--	ExpressionViaStringComparer.cs	1588	log plain
-rw-r--r--	GenericExpressionVisitor.cs	16979	log plain
-rw-r--r--	GenericTypeExpressionVisitor.cs	2852	log plain
-rw-r--r--	GetThresholdVisitor.cs	3793	log plain
-rw-r--r--	IEnvironmentDomain.cs	1636	log plain
-rw-r--r--	IExpressionDecoder.cs	2180	log plain
-rw-r--r--	IExpressionEncoder.cs	1731	log plain
-rw-r--r--	IIntervalEnvironment.cs	3114	log plain
-rw-r--r--	Interval.cs	16730	log plain
-rw-r--r--	IntervalAssumeFalseVisitor.cs	4086	log plain
-rw-r--r--	IntervalAssumeTrueVisitor.cs	6591	log plain
-rw-r--r--	IntervalAssumer.cs	2708	log plain
-rw-r--r--	IntervalAssumerBase.cs	7670	log plain
-rw-r--r--	IntervalBase.cs	3266	log plain
-rw-r--r--	IntervalContext.cs	5189	log plain
-rw-r--r--	IntervalContextBase.cs	5938	log plain
-rw-r--r--	IntervalEnvironment.cs	2935	log plain
-rw-r--r--	IntervalEnvironmentBase.cs	17019	log plain
-rw-r--r--	IntervalInference.cs	33073	log plain
-rw-r--r--	IntervalRationalAssumerBase.cs	7140	log plain
-rw-r--r--	IntervalRationalContextBase.cs	3762	log plain
-rw-r--r--	LongToIntegerConstantEvaluator.cs	4901	log plain
-rw-r--r--	Monomial.cs	7805	log plain
-rw-r--r--	ObjectExtensions.cs	1850	log plain
-rw-r--r--	Polynomial.cs	32160	log plain
-rw-r--r--	Rational.cs	33833	log plain
-rw-r--r--	RationalThreshold.cs	1896	log plain
-rw-r--r--	Threshold.cs	3934	log plain
-rw-r--r--	TresholdDB.cs	3063	log plain
-rw-r--r--	ValueExpressionDecoder.cs	15875	log plain