iZ-C リファレンスマニュアル

Contents:

• はじめに
• 実行環境
  • 開始と終了
  • エラーの取得
  • エラー発生時の挙動の設定
  • バージョン情報の取得
  • 統計情報の出力
• 領域変数と基本的な関数
  • コンストラクタ
  • 領域変数の情報にアクセスするための関数
  • 領域に関する制約
• 算術制約
• 関係制約
• 高水準制約
• 解探索とヒューリスティクス
  • 基本的な解探索
  • 組み込みの選択関数
  • フェイル数とチョイスポイント数
  • 複雑な解探索関数
  • 解探索関数の中断
  • 領域縮小方法の指定
  • NoGood の管理
  • 探索状態の通知
• デモン
• コンテキスト
• プロファイラ
  • ソースコード設定
  • コンストラクタ・デストラクタ
  • プロファイラを操作するための関数
  • プロファイリング結果

Indices and tables

• Index