Direct modeling support
Functionality by programming task » Programming models

## Topics

| Linear expressions and relations
| Linear float expressions and relations
| Set expressions and relations
| Boolean expressions
| Reified expressions
| Mixed integer and set expressions
| Posting of expressions and relations
| Arithmetic functions
| Transcendental functions
| Trigonometric functions
| Channel functions
| Aliases for integer constraints
| Aliases for set constraints
| Support for cost-based optimization

## Classes

class | Gecode::REG
| Regular expressions over integer values. More...
class | Gecode::Matrix< A >
| Matrix-interface for arrays. More...

## Detailed Description