Module: GecodeRaw

Defined in:

lib/gecoder/interface/binding_changes.rb

Overview

This file adds a small layer on top of the bindings. It alters the allocation of variables so that a single array is allocated in each space which is then used to store variable. The variables themselves are not directly returned, rather they are represented as the index in that store, which allows the variable to be retrieved back given a space.

This layer should be moved to the C++ side instead when possible for better performance.

Defined Under Namespace

Classes: Space