Module pwl

Module pwl 

Source
Expand description

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