C# Class Microsoft.Fast.Const

Show file Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
name	String
sort	Microsoft.Z3.Sort
value	Microsoft.Z3.Expr
z3p	Z3Provider

Public Methods

Method	Description
Const ( ConstDef 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

Method Details

Const() public method

public Const ( ConstDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
def	Microsoft.Fast.AST.ConstDef
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

name public property

public String name
return	String

sort public property

public Sort,Microsoft.Z3 sort
return	Microsoft.Z3.Sort

value public property

public Expr,Microsoft.Z3 value
return	Microsoft.Z3.Expr

z3p public property

public Z3Provider z3p
return	Z3Provider