Class SymbolEntry

gecode/flatzinc/parser.hh:106–114

Entries in the symbol table

  /// Entries in the symbol table
  class SymbolEntry {
  public:
    SymbolType t; //< Type of entry
    int i;        //< Value of entry or array start index
    /// Default constructor
    SymbolEntry(void) {}
    /// Constructor
    SymbolEntry(SymbolType t0, int i0) : t(t0), i(i0) {}
  };

  /// Construct integer variable entry
  forceinline SymbolEntry se_iv(int i) {