... generic function 类函数,通称函数,类... generic clause 类子句 generic subprogram 类属子程序 ...
基于16个网页-相关网页
可以通过在teller类和ImproperDepositException之间添加另一个调用箭头来为else子句建模。
The else clause would be modeled by adding another call arrow between the Teller class and the ImproperDepositException.
不能在类定义的implements或extends子句中使用“外露”类型参数。
"Naked" type parameters can't be used in the implements or extends clauses of class definitions.
是子句数与变元数的差等于1的极小不可满足公式类。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
应用推荐