C# Класс Microsoft.Fast.Const

Показать файл Открыть проект

Открытые свойства

Свойство	Тип	Описание
name	String
sort	Microsoft.Z3.Sort
value	Microsoft.Z3.Expr
z3p	Z3Provider

Открытые методы

Метод	Описание
Const ( ConstDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
GenerateZ3ExprFromExpr ( FExp expr, FastTransducerInstance fti ) : Expr

Приватные методы

Метод	Описание
GenerateZ3Expr ( AppExp expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Value expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Variable expr, FastTransducerInstance fti ) : Expr

Описание методов

Const() публичный Метод

public Const ( ConstDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
def	Microsoft.Fast.AST.ConstDef
fti	FastTransducerInstance
z3p	Z3Provider
Результат	System

GenerateZ3ExprFromExpr() публичный Метод

public GenerateZ3ExprFromExpr ( FExp expr, FastTransducerInstance fti ) : Expr
expr	Microsoft.Fast.AST.FExp
fti	FastTransducerInstance
Результат	Microsoft.Z3.Expr

Описание свойств

name публичное свойство

public String name
Результат	String

sort публичное свойство

public Sort,Microsoft.Z3 sort
Результат	Microsoft.Z3.Sort

value публичное свойство

public Expr,Microsoft.Z3 value
Результат	Microsoft.Z3.Expr

z3p публичное свойство

public Z3Provider z3p
Результат	Z3Provider