Generated on Sat Aug 25 2012 15:53:10 for Gecode by doxygen 1.7.5
Gecode::FlatZinc::SymbolTable Class Reference

Symbol table mapping identifiers (strings) to values. More...

#include <symboltable.hh>

List of all members.

Public Member Functions

bool put (const std::string &key, const Val &val)
 Insert val with key.
bool get (const std::string &key, Val &val) const
 Return whether key exists, and set val if it does exist.

Detailed Description

Symbol table mapping identifiers (strings) to values.


Member Function Documentation

bool Gecode::FlatZinc::SymbolTable::put ( const std::string &  key,
const Val &  val 
)

Insert val with key.

Definition at line 76 of file symboltable.hh.

bool Gecode::FlatZinc::SymbolTable::get ( const std::string &  key,
Val &  val 
) const

Return whether key exists, and set val if it does exist.

Definition at line 85 of file symboltable.hh.


The documentation for this class was generated from the following file: