ClauseIndex Type

Namespace: Averest.Analysis

Assembly: Averest.dll

Parent Module: SatSolver

Abbreviation For: int

Base Type: ValueType

All Interfaces: IConvertible , IBinaryInteger<int> , IBinaryNumber<int> , IBitwiseOperators<int, int, int> , INumber<int> , IComparable , IComparable<int> , IComparisonOperators<int, int, bool> , IModulusOperators<int, int, int> , IShiftOperators<int, int, int> , IMinMaxValue<int> , ISignedNumber<int> , INumberBase<int> , IEquatable<int> , ISpanFormattable , IFormattable , ISpanParsable<int> , IParsable<int> , IAdditionOperators<int, int, int> , IAdditiveIdentity<int, int> , IDecrementOperators<int> , IDivisionOperators<int, int, int> , IEqualityOperators<int, int, bool> , IIncrementOperators<int> , IMultiplicativeIdentity<int, int> , IMultiplyOperators<int, int, int> , ISubtractionOperators<int, int, int> , IUnaryNegationOperators<int, int> , IUnaryPlusOperators<int, int> , IUtf8SpanFormattable , IUtf8SpanParsable<int>