| Class | Description |
|---|---|
| AbstractDomain<T> | |
| AbstractDomain.Binary<T,L,R> |
An abstract domain for values composed from exactly two children.
|
| AbstractDomain.Nary<T,S> |
An abstract generator for values composed from an arbitrary number of
children.
|
| AbstractDomain.Ternary<T,P,Q,R> |
An abstract domain for values composed from exactly three children.
|
| AbstractDomain.Unary<T,S> |
An abstract domain for values composed from exactly one child.
|
| Domains | |
| Domains.Adaptor<S,T> |
Provides a simple mechanism for adapting one domain for another return type.
|
| IterativeGenerator<T> | |
| Pair<FIRST,SECOND> |
This class represents a pair of items
|
Copyright © 2019. All rights reserved.