BruteForceRedundancyChecker

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

maxRows

the maximum number of intermediate rows tolerated during elimination before the check fails open; defaults to DEFAULT_MAX_ROWS