| Interface | Description |
|---|---|
| Restriction | Deprecated |
| RestrictionOps |
| Class | Description |
|---|---|
| PrefixSet |
A class which denotes a set of strings with common prefix.
|
| RestrictionImpl | Deprecated |
| RestrictionManager2 |
A monotone container for assigning constraints to expressions.
|
| RestrictionManagerBeforeChangingToMap |
A monotone container for assigning constraints to expressions.
|
| RestrictionPrefix |
| Enum | Description |
|---|---|
| Satisfiability |
Copyright © 2015. All rights reserved.