Toggle navigation
Hot Examples
FR
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Rechercher
Accueil
Microsoft
Zing
ZReplacer
VisitTimeoutPattern
Microsoft.Zing.ZReplacer.VisitTimeoutPattern C# (CSharp) Méthode
ZReplacer Class Documentation
Afficher le fichier
Open project: ZingModelChecker/Zing
VisitTimeoutPattern()
private
méthode
private
VisitTimeoutPattern
(
TimeoutPattern
tp
) :
TimeoutPattern
tp
TimeoutPattern
Résultat
TimeoutPattern
private TimeoutPattern VisitTimeoutPattern(TimeoutPattern tp) { return tp; }
ZReplacer
VisitAccept
VisitArray
VisitAssert
VisitAssume
VisitAsync
VisitAtomic
VisitAttributeList
VisitAttributedStatement
VisitChan
VisitChoose
VisitEventPattern
VisitEventStatement
VisitGoto
VisitIn
VisitInvokePlugin
VisitInvokeSched
VisitJoinStatement
VisitRange
VisitReceivePattern
VisitSelect
VisitSelf
VisitSend
VisitSet
VisitTimeoutPattern
VisitTrace
VisitUnknownNodeType
VisitWaitPattern
VisitWith
VisitZTry
ZReplace
ZReplacer