Classes | |
class | IECheck |
Implements the IEInfer procedure. More... | |
class | ISolve |
Abstract class for type inference and checking. More... | |
class | LP2Check |
Implements the LP2Check procedure. More... | |
class | LPCheck |
Implements the LPInfer procedure using Minkowski's decomposition. More... | |
class | ParCheck |
Implements the ParCheck procedure. More... | |
class | POLYCheck |
Implements the POLYInfer procedure. More... |