public class AllDifferent
extends <any>
| Constructor and Description |
|---|
AllDifferent()
Instantiate this function with an infinite width.
|
AllDifferent(int width) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Boolean |
getValue(java.lang.Object x) |
int |
getWidth() |
Copyright © Sylvain HallĂ©. All Rights Reserved.