iven_Ordering_OptionalVariable$.html"><span class="micon ob"></span><span>given_Ordering_OptionalVariable</span></a></span></div></div><div class="ni n3 "><span class="nh "><a href="solver/PartialAssignment.html"><span class="micon cl"></span><span>PartialAssignment</span></a></span></div></div><div class="ni n2 "><span class="nh "><a href="Assignment.html"><span class="micon cl"></span><span>Assignment</span></a></span></div><div class="ni n2 expanded"><span class="nh h100 selected"><a href="#"><span class