C# Class Microsoft.Fast.Const

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство	Type	Description
name	String
sort	Microsoft.Z3.Sort
value	Microsoft.Z3.Expr
z3p	Z3Provider

Méthodes publiques

Méthode	Description
Const ( ConstDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
GenerateZ3ExprFromExpr ( FExp expr, FastTransducerInstance fti ) : Expr

Private Methods

Méthode	Description
GenerateZ3Expr ( AppExp expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Value expr, FastTransducerInstance fti ) : Expr
GenerateZ3Expr ( Variable expr, FastTransducerInstance fti ) : Expr

Method Details

Const() public méthode

public Const ( ConstDef def, FastTransducerInstance fti, Z3Provider z3p ) : System
def	Microsoft.Fast.AST.ConstDef
fti	FastTransducerInstance
z3p	Z3Provider
Résultat	System

GenerateZ3ExprFromExpr() public méthode

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

Property Details

name public_oe property

public String name
Résultat	String

sort public_oe property

public Sort,Microsoft.Z3 sort
Résultat	Microsoft.Z3.Sort

value public_oe property

public Expr,Microsoft.Z3 value
Résultat	Microsoft.Z3.Expr

z3p public_oe property

public Z3Provider z3p
Résultat	Z3Provider