Searched refs:createRowDefinition (Results 1 – 2 of 2) sorted by relevance
176 ArrayRow createRowDefinition(SolverVariable variable, int value) { in createRowDefinition() method in ArrayRow
1483 row.createRowDefinition(a, value); in addEquality()