polylib 5.22.8
SatMatrix Struct Reference

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 82 of file polyhedron.c.

Member Data Documentation

◆ NbColumns

unsigned int SatMatrix::NbColumns

Definition at line 84 of file polyhedron.c.

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

◆ NbRows

unsigned int SatMatrix::NbRows

◆ p [1/2]

◆ p [2/2]

unsigned int** SatMatrix::p

Definition at line 216 of file polyparam.c.

◆ p_init [1/2]

int* SatMatrix::p_init

◆ p_init [2/2]

unsigned int* SatMatrix::p_init

Definition at line 217 of file polyparam.c.


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