Module varisat::context

Central solver data structure.

This module defines the Context data structure which holds all data used by the solver. It also contains global notification functions that likely need to be extended when new parts are added to the solver.

Modules

parts

Part declarations for the Context struct.

Structs

Context

Central solver data structure.

Functions

config_changed	The solver configuration has changed.
set_var_count	Update structures for a new variable count.