Brute Force Redundancy Checker
constructor(tolerance: Double = HalfSpace.defaultTolerance, maxRows: Int = DEFAULT_MAX_ROWS)(source)
Parameters
tolerance
the slack used both to detect a strict violation and to declare an eliminated row infeasible; defaults to HalfSpace.defaultTolerance
max Rows
the maximum number of intermediate rows tolerated during elimination before the check fails open; defaults to DEFAULT_MAX_ROWS