$matrix != undefined $matrix != undefined && $matrix.isFull() $matrix.get($this.row,$this.col) != undefined $matrix.isRowFull($this.row) $matrix.isColFull($this.col) $matrix != undefined && $constraints != undefined && $matrix.isFull() && checkConsistent($matrix,$constraints)