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