|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Quint | |
|---|---|
| edu.rice.cs.plt.io | Provides extensions to the java.io package, which provides character- and byte- based
streams and buffers, files, file filters, and serialization. |
| edu.rice.cs.plt.iter | A collection of implementations of Iterable and Iterator. |
| edu.rice.cs.plt.tuple | Classes for the type-parameterized representation of tuples. |
| Uses of Quint in edu.rice.cs.plt.io |
|---|
| Methods in edu.rice.cs.plt.io that return Quint | |
|---|---|
static Quint<?,?,?,?,?> |
IOUtil.ensureSerializable(Quint<?,?,?,?,?> q)
Apply ensureSerializable() to each of the elements of the given tuple. |
| Methods in edu.rice.cs.plt.io with parameters of type Quint | |
|---|---|
static Quint<?,?,?,?,?> |
IOUtil.ensureSerializable(Quint<?,?,?,?,?> q)
Apply ensureSerializable() to each of the elements of the given tuple. |
| Uses of Quint in edu.rice.cs.plt.iter |
|---|
| Methods in edu.rice.cs.plt.iter that return Quint | ||
|---|---|---|
static
|
IterUtil.makeQuint(Iterable<? extends T> iter)
Convert an iterable of 5 elements to a Quint. |
|
| Methods in edu.rice.cs.plt.iter with parameters of type Quint | ||
|---|---|---|
static
|
IterUtil.toIterable(Quint<? extends T,? extends T,? extends T,? extends T,? extends T> tuple)
Produce an iterable of size 5 from a Quint. |
|
| Uses of Quint in edu.rice.cs.plt.tuple |
|---|
| Subclasses of Quint in edu.rice.cs.plt.tuple | |
|---|---|
class |
IdentityQuint<T1,T2,T3,T4,T5>
A quint that defines IdentityQuint.equals(java.lang.Object) and Tuple.hashCode() in terms of its elements'
identity (==) instead of equality (@code equals}) |
| Methods in edu.rice.cs.plt.tuple that return Quint | ||
|---|---|---|
static
|
Quint.make(T1 first,
T2 second,
T3 third,
T4 fourth,
T5 fifth)
Call the constructor (allows the type arguments to be inferred) |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||