RealSort Class Reference

A real sort More...

Inheritance diagram for RealSort:

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
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

Detailed Description

A real sort

Definition at line 197 of file Sort.cs.