public class RangeRestrictionOperation extends Object
| Constructor and Description |
|---|
RangeRestrictionOperation(org.colomoto.mddlib.MDDManager manager,
int min,
int max) |
| Modifier and Type | Method and Description |
|---|---|
int |
restrict(int node)
Compute a range-restricted version of a MDD
|
Copyright © 2012–2020. All rights reserved.