C# Class Microsoft.Fast.Const

Exibir arquivo 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_oe property

public String name
return	String

sort public_oe property

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

value public_oe property

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

z3p public_oe property

public Z3Provider z3p
return	Z3Provider