Dotty Documentation

0.4.0-bin-SNAPSHOT

trait ConstraintRunInfo
extends Object

[-] 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