C# Класс Microsoft.Fast.RankedAlphabetSort

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
alph	Microsoft.Automata.Z3.RankedAlphabet
alphFieldsSorts	List
alphName	String
alphSort	Microsoft.Z3.Sort
tupleFuncDec	Microsoft.Z3.FuncDecl
tupleKeys	List
tupleName	String
tupleSort	Microsoft.Z3.Sort
tupleTests	Microsoft.Z3.FuncDecl[]
z3p	Z3Provider

Открытые методы

Метод	Описание
RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System

Описание методов

RankedAlphabetSort() публичный Метод

public RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System
def	Microsoft.Fast.AST.AlphabetDef
z3p	Z3Provider
fti	FastTransducerInstance
Результат	System

Описание свойств

alph публичное свойство

public RankedAlphabet,Microsoft.Automata.Z3 alph
Результат	Microsoft.Automata.Z3.RankedAlphabet

alphFieldsSorts публичное свойство

public List alphFieldsSorts
Результат	List

alphName публичное свойство

public String alphName
Результат	String

alphSort публичное свойство

public Sort,Microsoft.Z3 alphSort
Результат	Microsoft.Z3.Sort

tupleFuncDec публичное свойство

public FuncDecl,Microsoft.Z3 tupleFuncDec
Результат	Microsoft.Z3.FuncDecl

tupleKeys публичное свойство

public List tupleKeys
Результат	List

tupleName публичное свойство

public String tupleName
Результат	String

tupleSort публичное свойство

public Sort,Microsoft.Z3 tupleSort
Результат	Microsoft.Z3.Sort

tupleTests публичное свойство

public FuncDecl[],Microsoft.Z3 tupleTests
Результат	Microsoft.Z3.FuncDecl[]

z3p публичное свойство

public Z3Provider z3p
Результат	Z3Provider