Logo
3.8

Contents:

  • はじめに
  • 実行環境
  • 領域変数と基本的な関数
  • 算術制約
  • 関係制約
  • 高水準制約
  • 解探索とヒューリスティクス
  • デモン
  • コンテキスト
  • プロファイラ
iZ-C
  • »
  • iZ-C リファレンスマニュアル

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

Contents:

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

Indices and tables

  • Index

Next

© Copyright 2017, NTT DATA SEKISUI SYSTEMS.