C# Class Microsoft.Fast.RankedAlphabetSort

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Свойство	Type	Description
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

Méthodes publiques

Méthode	Description
RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System

Method Details

RankedAlphabetSort() public méthode

public RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System
def	Microsoft.Fast.AST.AlphabetDef
z3p	Z3Provider
fti	FastTransducerInstance
Résultat	System

Property Details

alph public_oe property

public RankedAlphabet,Microsoft.Automata.Z3 alph
Résultat	Microsoft.Automata.Z3.RankedAlphabet

alphFieldsSorts public_oe property

public List alphFieldsSorts
Résultat	List

alphName public_oe property

public String alphName
Résultat	String

alphSort public_oe property

public Sort,Microsoft.Z3 alphSort
Résultat	Microsoft.Z3.Sort

tupleFuncDec public_oe property

public FuncDecl,Microsoft.Z3 tupleFuncDec
Résultat	Microsoft.Z3.FuncDecl

tupleKeys public_oe property

public List tupleKeys
Résultat	List

tupleName public_oe property

public String tupleName
Résultat	String

tupleSort public_oe property

public Sort,Microsoft.Z3 tupleSort
Résultat	Microsoft.Z3.Sort

tupleTests public_oe property

public FuncDecl[],Microsoft.Z3 tupleTests
Résultat	Microsoft.Z3.FuncDecl[]

z3p public_oe property

public Z3Provider z3p
Résultat	Z3Provider