The Sort class implements type information for ASTs. More...
Public Member Functions | |
override bool | Equals (object o) |
Equality operator for objects of type Sort. | |
override int | GetHashCode () |
Hash code generation for Sorts. | |
override string | ToString () |
A string representation of the sort. | |
Static Public Member Functions | |
static bool | operator== (Sort a, Sort b) |
Comparison operator. | |
static bool | operator!= (Sort a, Sort b) |
Comparison operator. | |
Protected Member Functions | |
internal | Sort (Context ctx) |
Sort constructor. | |
Properties | |
new uint | Id [get] |
Returns a unique identifier for the sort. | |
Z3_sort_kind | SortKind [get] |
The kind of the sort. | |
Symbol | Name [get] |
The name of the sort. |
override bool Equals | ( | object | o | ) | [inline] |
override int GetHashCode | ( | ) | [inline] |
Hash code generation for Sorts.
Reimplemented from AST.
Definition at line 75 of file Sort.cs.
Referenced by Sort.GetHashCode().
{
return base.GetHashCode();
}
Comparison operator.
Definition at line 38 of file Sort.cs.
{
return Object.ReferenceEquals(a, b) ||
(!Object.ReferenceEquals(a, null) &&
!Object.ReferenceEquals(b, null) &&
a.Context == b.Context &&
Native.Z3_is_eq_sort(a.Context.nCtx, a.NativeObject, b.NativeObject) != 0);
}
override string ToString | ( | ) | [inline] |
new uint Id [get] |
Z3_sort_kind SortKind [get] |