| Package | Description |
|---|---|
| wyal.lang |
| Modifier and Type | Method and Description |
|---|---|
Domain.Value.Boolean |
Domain.Value.Boolean.and(Domain.Value.Boolean b) |
Domain.Value.Boolean |
Domain.Value.equal(Domain.Value value)
Determine whether or not two abstract values are equal.
|
Domain.Value.Boolean |
Domain.Value.isInstance(WyalFile.Type type)
Check whether a given abstract value is an instance of a give type or
not.
|
Domain.Value.Boolean |
Domain.Value.Integer.lessThanOrEqual(Domain.Value.Integer other) |
Domain.Value.Boolean |
Domain.Value.Boolean.or(Domain.Value.Boolean b) |
| Modifier and Type | Method and Description |
|---|---|
Domain.Value.Boolean |
Domain.Value.Boolean.and(Domain.Value.Boolean b) |
Domain.Value.Boolean |
Domain.Value.Boolean.or(Domain.Value.Boolean b) |
Copyright © 2017. All rights reserved.