C# Class Microsoft.Fast.Function

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство	Type	Description
arity	int
funcDecl	Microsoft.Z3.FuncDecl
functionDef	Microsoft.Z3.Expr
inputSorts	Sort>.Dictionary
name	String
outputSort	Microsoft.Z3.Sort
variableExprs	Expr>.Dictionary
z3p	Z3Provider

Méthodes publiques

Méthode	Description
Function ( FunctionDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
GenerateZ3ExprFromExpr ( FExp expr, FastTransducerInstance fti ) : Expr

Private Methods

Méthode	Description
GenerateZ3Expr ( AppExp expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Value expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Variable expr, FastTransducerInstance fti ) : Expr
getSort ( FastSort fs, FastTransducerInstance fti ) : Microsoft.Z3.Sort

Method Details

Function() public méthode

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

GenerateZ3ExprFromExpr() public méthode

public GenerateZ3ExprFromExpr ( FExp expr, FastTransducerInstance fti ) : Expr
expr	Microsoft.Fast.AST.FExp
fti	FastTransducerInstance
Résultat	Microsoft.Z3.Expr

Property Details

arity public_oe property

public int arity
Résultat	int

funcDecl public_oe property

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

functionDef public_oe property

public Expr,Microsoft.Z3 functionDef
Résultat	Microsoft.Z3.Expr

inputSorts public_oe property

public Dictionary inputSorts
Résultat	Sort>.Dictionary

name public_oe property

public String name
Résultat	String

outputSort public_oe property

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

variableExprs public_oe property

public Dictionary variableExprs
Résultat	Expr>.Dictionary

z3p public_oe property

public Z3Provider z3p
Résultat	Z3Provider