| Package | Description |
|---|---|
| wyal.lang | |
| wyal.util |
| Modifier and Type | Method and Description |
|---|---|
Domain.Generator |
Domain.generator(WyalFile.Type type)
Construct an iterator that will walk over all known values for a
given type.
|
| Modifier and Type | Method and Description |
|---|---|
Domain.Generator |
SmallWorldDomain.generator(WyalFile.Type type) |
Domain.Generator |
SmallWorldDomain.generator(WyalFile.Type type,
int depth) |
Copyright © 2017. All rights reserved.