Property MaxSize
MaxSize
Return the maximum size of the priority queue (for boolean rewrites this is MaxClauseCount).
Declaration
protected abstract int MaxSize { get; }
Property Value
Type | Description |
---|---|
System.Int32 |
Return the maximum size of the priority queue (for boolean rewrites this is MaxClauseCount).
protected abstract int MaxSize { get; }
Type | Description |
---|---|
System.Int32 |