Cross Reference: tcs2.cspcasl
xref: /hets/CspCASL/test/tcs2.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
tcs2.cspcasl revision 8400689f5338073e0f5fe1ae9a1cdb658c2db83b
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainenlogic CspCASL
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainenspec tcs2 =
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainendata sorts S < T
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen ops c: S; d: T;
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen . c = d;
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainenprocess
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen tcs2 = c -> SKIP || d -> SKIP
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen

Indexes created Tue Jul 24 14:28:13 CEST 2018