mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
.NET API documentation bugfixes
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
794823ba6d
commit
fc227e3c96
|
@ -1311,7 +1311,7 @@ namespace Microsoft.Z3
|
|||
|
||||
#region Relational Terms
|
||||
/// <summary>
|
||||
/// Indicates whether the term is of an array sort.
|
||||
/// Indicates whether the term is of relation sort.
|
||||
/// </summary>
|
||||
public bool IsRelation
|
||||
{
|
||||
|
|
|
@ -23,7 +23,7 @@ using System.Diagnostics.Contracts;
|
|||
namespace Microsoft.Z3
|
||||
{
|
||||
/// <summary>
|
||||
/// A ParameterSet represents a configuration in the form of Symbol/value pairs.
|
||||
/// A Params objects represents a configuration in the form of Symbol/value pairs.
|
||||
/// </summary>
|
||||
[ContractVerification(true)]
|
||||
public class Params : Z3Object
|
||||
|
|
Loading…
Reference in a new issue