ゲストブック/コメントログ - Alloy Analyzer で形式仕様記述

• test -- (test) 2009-03-05 18:18:34
• チュートリアルで、
  
  pred show {}
  run show
  
  と show 述語を用意されていますが、バージョン 4 からは、
  
  run {}
  
  で実行できます。
  
  New Syntactic Features in Alloy 4
  11. You can now write "check {...}" and "run {...}"
  
  http://alloy.mit.edu/alloy4/quickguide/a4.html -- (通りすがり) 2011-09-26 06:53:08