Cross Reference: tcs1.het.cspcasl
xref: /hets/CspCASL/test/tcs1.het.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
tcs1.het.cspcasl revision 197888c54795ec1e79e77289b7e20436a6db74c0
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblettlogic CASL
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblettspec D =
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett sort S, T
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett ops c: S;
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett d: T
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblettlogic CspCASL
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblettspec tcs1 =
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett data D
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett process
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett tcs1: S, T
197888c54795ec1e79e77289b7e20436a6db74c0Andy Gimblett tcs1 = c -> SKIP ||d -> SKIP

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