polylib: SatMatrix Struct Reference

# SatMatrix Struct Reference

List of all members.

## Public Attributes
unsigned int | NbRows
unsigned int | NbColumns
int ** | p
int * | p_init
unsigned int ** | p
unsigned int * | p_init

## Detailed Description

Definition at line 99 of file polyhedron.c.

## Member Data Documentation

unsigned int SatMatrix::NbColumns

Definition at line 101 of file polyhedron.c.

Referenced by Chernikova(), Remove_Redundants(), SMAlloc(), and SMPrint().

unsigned int SatMatrix::NbRows

Definition at line 100 of file polyhedron.c.

Referenced by BuildSat(), Chernikova(), Constraints2Polyhedron(), FindSimple(), SatMatrix_Extend(), SMAlloc(), and SMPrint().

unsigned int** SatMatrix::p

Definition at line 225 of file polyparam.c.

int** SatMatrix::p

Definition at line 102 of file polyhedron.c.

Referenced by addToFilter(), BuildSat(), Chernikova(), FindSimple(), Poly2Sat(), RaySort(), Remove_Redundants(), SatMatrix_Extend(), scan_m_face(), SMAlloc(), SMFree(), SMPrint(), and TransformSat().

unsigned int* SatMatrix::p_init

Definition at line 226 of file polyparam.c.

int* SatMatrix::p_init

Definition at line 103 of file polyhedron.c.

Referenced by BuildSat(), Constraints2Polyhedron(), FindSimple(), Poly2Sat(), SatMatrix_Extend(), SMAlloc(), SMFree(), and TransformSat().

The documentation for this struct was generated from the following files:

- polyhedron.c
- polyparam.c