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 >
D	getDomain ()
D	getDomain (int idx)
R	getRange ()
int	getArity ()

Detailed Description

Set sorts.

Definition at line 23 of file SetSort.java.