C# Class Microsoft.Fast.Function

Mostra file Open project: AutomataDotNet/Automata

Public Properties

Property	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

Public Methods

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

Private Methods

Method	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 method

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

GenerateZ3ExprFromExpr() public method

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

Property Details

arity public_oe property

public int arity
return	int

funcDecl public_oe property

public FuncDecl,Microsoft.Z3 funcDecl
return	Microsoft.Z3.FuncDecl

functionDef public_oe property

public Expr,Microsoft.Z3 functionDef
return	Microsoft.Z3.Expr

inputSorts public_oe property

public Dictionary inputSorts
return	Sort>.Dictionary

name public_oe property

public String name
return	String

outputSort public_oe property

public Sort,Microsoft.Z3 outputSort
return	Microsoft.Z3.Sort

variableExprs public_oe property

public Dictionary variableExprs
return	Expr>.Dictionary

z3p public_oe property

public Z3Provider z3p
return	Z3Provider