| 메소드 |
설명 |
|
|
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 |
|
|