// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.

namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.GlobalFlowStateAnalysis
{
    internal enum GlobalFlowStateAnalysisValueSetKind
    {
        /// <summary>
        /// Unset value set.
        /// This is needed along with Empty to ensure the following merge results:
        /// Unset + Known = Known
        /// Empty + Known = Empty
        /// </summary>
        Unset,

        /// <summary>
        /// One or more known set of <see cref="IAbstractAnalysisValue"/>s.
        /// </summary>
        Known,

        /// <summary>
        /// No <see cref="IAbstractAnalysisValue"/>s.
        /// </summary>
        Empty,

        /// <summary>
        /// Unknown set of <see cref="IAbstractAnalysisValue"/>s.
        /// </summary>
        Unknown
    }
}