Modifier and Type | Field and Description |
---|---|
static boolean |
dynamicAdditions
whether or not disequality constraints may be added during search
|
Constructor and Description |
---|
AutoDiffDetection(Variable[] scope) |
Modifier and Type | Method and Description |
---|---|
boolean |
mustBeDifferent(int i1,
int i2) |
public static boolean dynamicAdditions
public AutoDiffDetection(Variable[] scope)
public boolean mustBeDifferent(int i1, int i2)
mustBeDifferent
in interface D
Copyright © 2018. All rights reserved.