public abstract class LargeRelation extends Object
Constructor and Description |
---|
LargeRelation() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
checkTuple(int[] tuple)
return true if tuple is feasible according
to the definition of the relation.
|
abstract Tuples |
convert()
Convert this relation into 'Tuples'
|
abstract boolean |
isConsistent(int[] tuple)
Test whether a tuple is consistent
|
protected boolean |
valid(int[] tuple,
IntVar[] vars) |
public abstract boolean checkTuple(int[] tuple)
public abstract boolean isConsistent(int[] tuple)
protected boolean valid(int[] tuple, IntVar[] vars)
public abstract Tuples convert()
Copyright © 2018. All rights reserved.