[][src]Module snarkos_marlin::ahp::indexer

Describes data structures and the algorithms used by the AHP indexer.

Structs

Index

The indexed version of the constraint system. This struct contains three kinds of objects:

IndexInfo

Information about the index, including the field of definition, the number of variables, the number of constraints, and the maximum number of non-zero entries in any of the constraint matrices.

Type Definitions

Matrix

Represents a matrix.