A Class of Iterative Procedures for Linear Inequalities | Synapse