C# Class Microsoft.Z3.ArithExpr

Arithmetic expressions (int/real)
Inheritance: Expr
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes protégées

Méthode Description
ArithExpr ( Context ctx ) : System

Constructor for ArithExpr

Private Methods

Méthode Description
ArithExpr ( Context ctx, IntPtr obj ) : System

Method Details

ArithExpr() protected méthode

Constructor for ArithExpr
protected ArithExpr ( Context ctx ) : System
ctx Context
Résultat System