Searched defs:SoftInequalityAdder (Results 1 – 1 of 1) sorted by relevance
403 class SoftInequalityAdder { class405 SoftInequalityAdder(LinearSpec* linSpec, ConstraintList& allConstraints) in SoftInequalityAdder() function in SoftInequalityAdder