|
Z3
|
|
|
Z3
|
|
Inheritance diagram for ReSort< R extends Sort >:Additional Inherited Members | |
| Public Member Functions inherited from Sort | |
| boolean | equals (Object o) |
| int | hashCode () |
| int | getId () |
| Z3_sort_kind | getSortKind () |
| Symbol | getName () |
| String | toString () |
| Sort | translate (Context ctx) |
| Public Member Functions inherited from AST | |
| int | compareTo (AST other) |
| Z3_ast_kind | getASTKind () |
| boolean | isExpr () |
| boolean | isApp () |
| boolean | isVar () |
| boolean | isQuantifier () |
| boolean | isSort () |
| boolean | isFuncDecl () |
| String | getSExpr () |
| Static Public Member Functions inherited from Z3Object | |
| static long[] | arrayToNative (Z3Object[] a) |
| static int | arrayLength (Z3Object[] a) |
A Regular expression sort
Definition at line 23 of file ReSort.java.
1.9.1
