mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
add mkStringSort
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
e3d45b9850
commit
571e345d07
|
@ -218,10 +218,17 @@ namespace Microsoft.Z3
|
|||
/// </summary>
|
||||
public BitVecSort MkBitVecSort(uint size)
|
||||
{
|
||||
|
||||
return new BitVecSort(this, Native.Z3_mk_bv_sort(nCtx, size));
|
||||
}
|
||||
|
||||
/// <summary>
|
||||
/// Create a new string sort.
|
||||
/// </summary>
|
||||
public SeqSort MkStringSort()
|
||||
{
|
||||
Debug.Assert(s != null);
|
||||
return new SeqSort(this, Native.Z3_mk_string_sort(nCtx));
|
||||
}
|
||||
|
||||
/// <summary>
|
||||
/// Create a new sequence sort.
|
||||
|
|
Loading…
Reference in a new issue