Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Usages (2/2):

Usages (2/2):Obligation and Capability

y:[int]/Ic“can receive an integer value from y successfully”

y:[int]/Ic├ y?[v].0

?eventually reduces to 0(by communication with an external process)

y:[int]/Ic├ 0

Previous slide Next slide Back to first slide View graphic version

Usages (2/2): Obligation and Capability

y:[int]/Ic “can receive an integer value from y successfully”

y:[int]/Ic├ y?[v].0

? eventually reduces to 0 (by communication with an external process)

y:[int]/Ic├ 0

Usages (2/2):Obligation and Capability

y:[int]/Ic“can receive an integer value from y successfully”

?eventually reduces to 0(by communication with an external process)