trait ConstraintRunInfo

Constructors

Members

private var maxConstraint : Constraint
private var maxSize : Int
private def maxConstraint_= ( x$1: Constraint ) : Unit
private def maxSize_= ( x$1: Int ) : Unit
def printMaxConstraint ( ) ( implicit ctx: Context ) : Unit
def recordConstraintSize ( c: Constraint , size: Int ) : Unit