Array sorts. More...

Inheritance diagram for ArraySort:

Properties
Sort	Domain `[get]`
	The domain of the array sort.

Sort	Range `[get]`
	The range of the array sort.

Properties inherited from Sort
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

Properties inherited from AST
uint	Id `[get]`
	A unique identifier for the AST (unique among all ASTs).

Z3_ast_kind	ASTKind `[get]`
	The kind of the AST.

bool	IsExpr `[get]`
	Indicates whether the AST is an Expr

bool	IsVar `[get]`
	Indicates whether the AST is a BoundVariable

bool	IsQuantifier `[get]`
	Indicates whether the AST is a Quantifier

bool	IsSort `[get]`
	Indicates whether the AST is a Sort

bool	IsFuncDecl `[get]`
	Indicates whether the AST is a FunctionDeclaration

Additional Inherited Members
Public Member Functions inherited from Sort
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 inherited from Sort
static bool	operator== (Sort a, Sort b)
	Comparison operator.

static bool	operator!= (Sort a, Sort b)
	Comparison operator.

Protected Member Functions inherited from Sort
	Sort (Context ctx)
	Sort constructor

Detailed Description

Array sorts.

Definition at line 236 of file Sort.cs.

Property Documentation

Sort Domain

get

The domain of the array sort.

Definition at line 242 of file Sort.cs.

Sort Range

get

The range of the array sort.

Definition at line 253 of file Sort.cs.