Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_finite_domain_sort.html below:
Z3: FiniteDomainSort Class Reference
Additional Inherited Members Public Member Functions inherited from Sort override bool Equals (object o) Equality operator for objects of type Sort. More...
override int GetHashCode () Hash code generation for Sorts More...
override string ToString () A string representation of the sort. More...
new Sort Translate (Context ctx) Translates (copies) the sort to the Context ctx . More...
Public Member Functions inherited from AST override bool Equals (object o) Object comparison. More...
virtual int CompareTo (object other) Object Comparison. More...
override int GetHashCode () The AST's hash code. More...
AST Translate (Context ctx) Translates (copies) the AST to the Context ctx . More...
override string ToString () A string representation of the AST. More...
string SExpr () A string representation of the AST in s-expression notation. More...
Public Member Functions inherited from Z3Object void Dispose () Disposes of the underlying native Z3 object. More...
Static Public Member Functions inherited from Sort static bool operator== (Sort a, Sort b) Comparison operator. More...
static bool operator!= (Sort a, Sort b) Comparison operator. More...
Static Public Member Functions inherited from AST static bool operator== (AST a, AST b) Comparison operator. More...
static bool operator!= (AST a, AST b) Comparison operator. More...
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4