終了条件は、変数、定数、演算子、および動作を制限または定義する一般的な関数で構成された定義式または数式です。

解析に終了条件が定義されている場合は、一定の時間が経過した後、特定のイベントが発生した後、または条件を満たしたときに、解析が終了します。ステップの長さは、条件を満たしたときに解析が同時に終了するように、自動的に調整されます。