ArithSort Class Reference

Inheritance diagram for ArithSort:

Additional Inherited Members
Public Member Functions inherited from Sort
boolean	equals (Object o)
int	hashCode ()
int	getId () throws Z3Exception
Z3_sort_kind	getSortKind () throws Z3Exception
Symbol	getName () throws Z3Exception
String	toString ()
Public Member Functions inherited from AST
boolean	equals (Object o)
int	compareTo (Object other) throws Z3Exception
int	hashCode ()
int	getId () throws Z3Exception
AST	translate (Context ctx) throws Z3Exception
Z3_ast_kind	getASTKind () throws Z3Exception
boolean	isExpr () throws Z3Exception
boolean	isApp () throws Z3Exception
boolean	isVar () throws Z3Exception
boolean	isQuantifier () throws Z3Exception
boolean	isSort () throws Z3Exception
boolean	isFuncDecl () throws Z3Exception
String	toString ()
String	getSExpr () throws Z3Exception
Public Member Functions inherited from Z3Object
void	dispose () throws Z3Exception
Public Member Functions inherited from IDisposable
void	dispose () throws Z3Exception
Protected Member Functions inherited from Sort
	Sort (Context ctx) throws Z3Exception
Protected Member Functions inherited from Z3Object
void	finalize () throws Z3Exception

Detailed Description

An arithmetic sort, i.e., Int or Real.

Definition at line 23 of file ArithSort.java.