Class TuplesLargeTable

  • public class TuplesLargeTable
    extends LargeRelation

    Charles Prud'homme
    • Constructor Detail

      • TuplesLargeTable

        public TuplesLargeTable​(Tuples tuples,
                                IntVar[] vars)
    • Method Detail

      • checkTuple

        public boolean checkTuple​(int[] tuple)
        Description copied from class: LargeRelation
        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.
        Specified by:
        checkTuple in class LargeRelation
      • isConsistent

        public boolean isConsistent​(int[] tuple)
        Description copied from class: LargeRelation
        Test whether a tuple is consistent
        Specified by:
        isConsistent in class LargeRelation
        true if tuple is consistent.