Basics

  • HydLaプログラムは，目的とする系を構成する変数値が満たすべき制約の形で記述される
  • HydLaプログラムの意味とは，プログラムに書かれた仕様を満たすような変数値の軌道である
Last-modified: 2017-03-02 (Thu) 02:41:11 (2604d)