ExplOrd implements PartialOrd<ExplState> { @Override public boolean isLeq(final ExplState state1, final ExplState state2) { return state1.isLeq(state2); } private  ExplOrd(); static ExplOrd getInstance(); @Override boolean isLeq(final ExplState state1, final ExplState state2);  }
@Test public void testLeq() { Assert.assertTrue(ord.isLeq(st, st)); Assert.assertTrue(ord.isLeq(s1, st)); Assert.assertTrue(ord.isLeq(s2, st)); Assert.assertTrue(ord.isLeq(s3, st)); Assert.assertTrue(ord.isLeq(s4, st)); Assert.assertTrue(ord.isLeq(sb, st)); Assert.assertFalse(ord.isLeq(st, s1)); Assert.assertTrue(ord.isLeq(s1, s1)); Assert.assertFalse(ord.isLeq(s2, s1)); Assert.assertFalse(ord.isLeq(s3, s1)); Assert.assertTrue(ord.isLeq(s4, s1)); Assert.assertTrue(ord.isLeq(sb, s1)); Assert.assertFalse(ord.isLeq(st, s2)); Assert.assertFalse(ord.isLeq(s1, s2)); Assert.assertTrue(ord.isLeq(s2, s2)); Assert.assertFalse(ord.isLeq(s3, s2)); Assert.assertFalse(ord.isLeq(s4, s2)); Assert.assertTrue(ord.isLeq(sb, s2)); Assert.assertFalse(ord.isLeq(st, s3)); Assert.assertFalse(ord.isLeq(s1, s3)); Assert.assertFalse(ord.isLeq(s2, s3)); Assert.assertTrue(ord.isLeq(s3, s3)); Assert.assertTrue(ord.isLeq(s4, s3)); Assert.assertTrue(ord.isLeq(sb, s3)); Assert.assertFalse(ord.isLeq(st, s4)); Assert.assertFalse(ord.isLeq(s1, s4)); Assert.assertFalse(ord.isLeq(s2, s4)); Assert.assertFalse(ord.isLeq(s3, s4)); Assert.assertTrue(ord.isLeq(s4, s4)); Assert.assertTrue(ord.isLeq(sb, s4)); Assert.assertFalse(ord.isLeq(st, sb)); Assert.assertFalse(ord.isLeq(s1, sb)); Assert.assertFalse(ord.isLeq(s2, sb)); Assert.assertFalse(ord.isLeq(s3, sb)); Assert.assertFalse(ord.isLeq(s4, sb)); Assert.assertTrue(ord.isLeq(sb, sb)); }