C# 클래스 Microsoft.Fast.Const

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 프로퍼티들

프로퍼티	타입	설명
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