Module pwl 

Tree-based data structure for piece-wise linear functions

Modules

afftree

Central data structure to store piece-wise linear functions

dot

An interface to graphviz’s DOT language to export and visualize AffTrees

impl_composition

impl_infeasible_elim

impl_ops

impl_reduction

iter

A collection of AffTree iterators

node