@Test public void testIdentity() { assertThat(Identity.INSTANCE.transitForward(ONE), equalTo(ONE)); assertThat(Identity.INSTANCE.transitBackward(ONE), equalTo(ONE)); assertThat(Identity.INSTANCE.transitForward(ZERO), equalTo(ZERO)); assertThat(Identity.INSTANCE.transitBackward(ZERO), equalTo(ZERO)); }
private Identity() {}
Identity implements Transition { private Identity() {} }
Identity implements Transition { private Identity() {} private  Identity(); }
Identity implements Transition { private Identity() {} private  Identity(); @Override String toString(); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd); }
Identity implements Transition { private Identity() {} private  Identity(); @Override String toString(); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd); static Identity INSTANCE; }