  We study the bar-and-joint frameworks in $\mathbb{R}^2$ such that some
vertices are constrained to lie on some lines. The generic rigidity of such
frameworks is characterised by Streinu and Theran (2010). Katoh and Tanigawa
(2013) remarked that the corresponding matroid and its rank function can be
characterised by using a submodular function. In this paper, we will transfer
this characterisation of the rank function to the form of the value of a
``1-thin cover" and obtain a sufficient connectivity condition for rigidity and
global rigidity of these frameworks analogous to the results of Lov\'asz and
Yemini (1982).
