[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |

__Function:__**dim**`: t -> int`__Function:__**nbequations**`: t -> int`__Function:__**nblines**`: t -> int`__Function:__**nbconstraints**`: t -> int`__Function:__**nbframes**`: t -> int`- Same semantics as the corresponding C functions.

__Function:__**constraints**`: t -> Matrix.t option`- If the constraint matrix
`mat`

is available, return`Some(mat)`

, otherwise return`None`

. There is no sharing of elements in memory. The constraints are not necessarily in a minimal form.

__Function:__**frames**`: t -> Matrix.t option`- Same as the previous function for generator matrix.

This document was generated on