polylib 5.22.8
disjoint_union_sep.c File Reference
#include <stdio.h>
#include <stdlib.h>
#include <polylib/polylib.h>

Go to the source code of this file.

Macros

#define WS   0
 

Functions

void AffContraintes (Polyhedron *p)
 
int main ()
 

Macro Definition Documentation

◆ WS

#define WS   0

Definition at line 19 of file disjoint_union_sep.c.

Function Documentation

◆ AffContraintes()

void AffContraintes ( Polyhedron p)

Definition at line 23 of file disjoint_union_sep.c.

References polyhedron::next, P_VALUE_FMT, and Polyhedron_PrintConstraints().

Referenced by main().

◆ main()