Toggle navigation
Hot Examples
RU
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Найти
Главная
Microsoft
Automata
Z3
RankedAlphabet
this
Microsoft.Automata.Z3.RankedAlphabet.this C# (CSharp) Метод
Документация по классу RankedAlphabet
Показать файл
Открыть проект
this()
публичный
Метод
Gets the constructor with the given name. Same as GetConstructor(constructorName).
public
this
(
string
constructorName
) :
FuncDecl
constructorName
string
the name of the constructor
Результат
Microsoft.Z3.FuncDecl
public FuncDecl this[string constructorName] { get { return GetConstructor(constructorName); } }
RankedAlphabet
ChildVar
ContainsConstructor
EnumerateCombinedRules
GetAttributeAccessor
GetChildAccessor
GetConstructor
GetId
GetMaxStateId
GetRank
GetSymbols
GetTester
MkAcceptorOutput
MkAcceptorRule
MkAttr
MkLangConj
MkTrans
MkTree
MkTreeAcceptor
RankedAlphabet
ToString
this