Constructors

HasProblemField ( fld: SingleDenotation , problem: Realizability )

HasProblemField ( implicit ctx: Context )

Members

[+] private implicit val ctx : Context

[+] private val fld : SingleDenotation

[+] private val problem : Realizability