added relaxation and refinement getter methods to the PartialOrdering