f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettlogic CspCASL

167414650dc57c11c13ba85253f0211b3de0ecc5Christian Maederspec tcs4 =

7ae67d07c8b605503c300a7da2d11974a2702904Christian Maederdata sorts A, B, C < S

4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett ops a: A; b1, b2: B; c: C;

4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett f: A ->? A; g: C->? C

4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett . a = b1 . b2 = c

7ae67d07c8b605503c300a7da2d11974a2702904Christian Maeder . forall x: A . not def f(x) . forall x: C . not def g(x);

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblettprocess

197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett tcs4: A, C

197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett tcs4 = f(a) -> SKIP || g(c) -> SKIP