• Home
• Microsoft
• Z3
• Quantifier

C# Class Microsoft.Z3.Quantifier

Show file Open project: sslab-gatech/juxta Class Usage Examples

Private Methods

Method	Description
CheckNativeObject ( IntPtr obj ) : void
Quantifier ( Context ctx, IntPtr obj ) : System
Quantifier ( Context ctx, bool isForall, Expr bound, Expr body, uint weight = 1, Pattern patterns = null, Expr noPatterns = null, Symbol quantifierID = null, Symbol skolemID = null ) : System
Quantifier ( Context ctx, bool isForall, Microsoft.Z3.Sort sorts, Symbol names, Expr body, uint weight = 1, Pattern patterns = null, Expr noPatterns = null, Symbol quantifierID = null, Symbol skolemID = null ) : System