Added map initialization methods, hault constraint