iZ-C Reference Manual

Contents:

• Preface
• Execution Environment
  • Initialize and Finalize
  • Error status
  • Error handler
  • Version Information
  • Output of Statistics Information
• Domain variable and Basic functions
  • Constructors
  • Functions to Access Domain Variable
  • Constraints for Domain
• Arithmetic Constraints
• Relation Constraints
• High-level Constraints
• Generation Mechanisms (Search) and Heuristics
  • Basic Functions for Generation
  • Pre-defined Choice Functions
  • Number of Fails and Choice Points
  • Sophisticated Generation Functions
  • To Stop Search Functions
  • Domain Reduction
  • Management of NoGood
  • Notifications of Search state
• Demon
• Context
• Profiler
  • Source code setting
  • Constructor and Destructor
  • Profiler functions
  • Profiling Result

Indices and tables

• Index