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