C# Class Microsoft.Fast.RankedAlphabetSort

ファイルを表示 Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	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

Public Methods

Method	Description
RankedAlphabetSort ( AlphabetDef def, Z3Provider z3p, FastTransducerInstance fti ) : System

Method Details

RankedAlphabetSort() public method

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

Property Details

alph public_oe property

public RankedAlphabet,Microsoft.Automata.Z3 alph
return	Microsoft.Automata.Z3.RankedAlphabet

alphFieldsSorts public_oe property

public List alphFieldsSorts
return	List

alphName public_oe property

public String alphName
return	String

alphSort public_oe property

public Sort,Microsoft.Z3 alphSort
return	Microsoft.Z3.Sort

tupleFuncDec public_oe property

public FuncDecl,Microsoft.Z3 tupleFuncDec
return	Microsoft.Z3.FuncDecl

tupleKeys public_oe property

public List tupleKeys
return	List

tupleName public_oe property

public String tupleName
return	String

tupleSort public_oe property

public Sort,Microsoft.Z3 tupleSort
return	Microsoft.Z3.Sort

tupleTests public_oe property

public FuncDecl[],Microsoft.Z3 tupleTests
return	Microsoft.Z3.FuncDecl[]

z3p public_oe property

public Z3Provider z3p
return	Z3Provider