Class LargeRelation

    • Constructor Detail

      • LargeRelation

        public LargeRelation()
    • Method Detail

      • checkTuple

        public abstract 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.
      • isConsistent

        public abstract boolean isConsistent​(int[] tuple)
        Test whether a tuple is consistent
        true if tuple is consistent.
      • valid

        protected boolean valid​(int[] tuple,
                                IntVar[] vars)
      • convert

        public abstract Tuples convert()
        Convert this relation into 'Tuples'