public class TuplesVeryLargeTable extends LargeRelation
Constructor and Description |
---|
TuplesVeryLargeTable(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. e.g if the relation is defined
with infeasible tuples, it returns true if tuple is one of them.
|
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
Copyright © 2017. All rights reserved.