Z3
SetSort< D extends Sort > Class Template Reference
+ Inheritance diagram for SetSort< D extends Sort >:

Additional Inherited Members

- Public Member Functions inherited from ArraySort< D, BoolSort >
getDomain ()
 
getDomain (int idx)
 
getRange ()
 

Detailed Description

Set sorts.

Definition at line 23 of file SetSort.java.