File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -173,7 +173,7 @@ public TableConstraint AddTuple(IEnumerable<int> tuple)
173173 table . Values . Add ( value ) ;
174174 count ++ ;
175175 }
176- if ( count != table . Vars . Count )
176+ if ( count != table . Exprs . Count )
177177 {
178178 throw new ArgumentException ( "addTuple" , "tuple does not have the same length as the variables" ) ;
179179 }
@@ -199,7 +199,7 @@ public TableConstraint AddTuple(IEnumerable<long> tuple)
199199 table . Values . Add ( value ) ;
200200 count ++ ;
201201 }
202- if ( count != table . Vars . Count )
202+ if ( count != table . Exprs . Count )
203203 {
204204 throw new ArgumentException ( "addTuple" , "tuple does not have the same length as the variables" ) ;
205205 }
@@ -219,7 +219,7 @@ public TableConstraint AddTuples(int[,] tuples)
219219 {
220220 TableConstraintProto table = Proto . Table ;
221221
222- if ( tuples . GetLength ( 1 ) != table . Vars . Count )
222+ if ( tuples . GetLength ( 1 ) != table . Exprs . Count )
223223 {
224224 throw new ArgumentException ( "addTuples" , "tuples does not have the same length as the variables" ) ;
225225 }
@@ -247,7 +247,7 @@ public TableConstraint AddTuples(long[,] tuples)
247247 {
248248 TableConstraintProto table = Proto . Table ;
249249
250- if ( tuples . GetLength ( 1 ) != table . Vars . Count )
250+ if ( tuples . GetLength ( 1 ) != table . Exprs . Count )
251251 {
252252 throw new ArgumentException ( "addTuples" , "tuples does not have the same length as the variables" ) ;
253253 }
You can’t perform that action at this time.
0 commit comments