public abstract class AbstractDomain<T> extends Object implements Domain<T>
| Modifier and Type | Class and Description |
|---|---|
static class |
AbstractDomain.Binary<T,L,R>
An abstract domain for values composed from exactly two children.
|
static class |
AbstractDomain.Nary<T,S>
An abstract generator for values composed from an arbitrary number of
children.
|
static class |
AbstractDomain.Ternary<T,P,Q,R>
An abstract domain for values composed from exactly three children.
|
static class |
AbstractDomain.Unary<T,S>
An abstract domain for values composed from exactly one child.
|
| Constructor and Description |
|---|
AbstractDomain() |
| Modifier and Type | Method and Description |
|---|---|
Domain<T> |
slice(long start,
long end)
Return a subdomain of this domain which includes all elements between the
start (inclusive) and end index (exlusive).
|
Copyright © 2019. All rights reserved.