Toggle navigation
Hot Examples
KO
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
검색
홈
Microsoft
Automata
Z3
RankedAlphabet
GetTester
Microsoft.Automata.Z3.RankedAlphabet.GetTester C# (CSharp) 메소드
RankedAlphabet 1 문서
파일 보기
프로젝트 열기: AutomataDotNet/Automata
GetTester()
공개
메소드
Gets the predicate for testing that its argument has the given node symbol.
public
GetTester
(
string
symbol
) :
FuncDecl
symbol
string
function symbol name
리턴
Microsoft.Z3.FuncDecl
public FuncDecl GetTester(string symbol) { return testers[GetId(symbol)]; }
RankedAlphabet
ChildVar
ContainsConstructor
EnumerateCombinedRules
GetAttributeAccessor
GetChildAccessor
GetConstructor
GetId
GetMaxStateId
GetRank
GetSymbols
GetTester
MkAcceptorOutput
MkAcceptorRule
MkAttr
MkLangConj
MkTrans
MkTree
MkTreeAcceptor
RankedAlphabet
ToString
this