C# Class Microsoft.Fast.RankedAlphabetSort

Show file 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 property

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

alphFieldsSorts public property

public List alphFieldsSorts
return	List

alphName public property

public String alphName
return	String

alphSort public property

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

tupleFuncDec public property

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

tupleKeys public property

public List tupleKeys
return	List

tupleName public property

public String tupleName
return	String

tupleSort public property

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

tupleTests public property

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

z3p public property

public Z3Provider z3p
return	Z3Provider