本文整理汇总了C#中Z3_ast类的典型用法代码示例。如果您正苦于以下问题：C# Z3_ast类的具体用法？C# Z3_ast怎么用？C# Z3_ast使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
Z3_ast类属于命名空间，在下文中一共展示了Z3_ast类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: Z3_get_numeral_decimal_string
public extern static IntPtr Z3_get_numeral_decimal_string(Z3_context a0, Z3_ast a1, uint a2);示例2: Z3_ast_to_string
public extern static IntPtr Z3_ast_to_string(Z3_context a0, Z3_ast a1);示例3: Z3_fixedpoint_add_rule
public extern static void Z3_fixedpoint_add_rule(Z3_context a0, Z3_fixedpoint a1, Z3_ast a2, IntPtr a3);示例4: Z3_model_eval
public extern static int Z3_model_eval(Z3_context a0, Z3_model a1, Z3_ast a2, int a3, [In, Out] ref Z3_ast a4);示例5: Z3_is_as_array
public extern static int Z3_is_as_array(Z3_context a0, Z3_ast a1);示例6: Z3_simplify_ex
public extern static Z3_ast Z3_simplify_ex(Z3_context a0, Z3_ast a1, Z3_params a2);示例7: Z3_substitute_vars
public extern static Z3_ast Z3_substitute_vars(Z3_context a0, Z3_ast a1, uint a2, [In] Z3_ast[] a3);示例8: Z3_get_algebraic_number_upper
public extern static Z3_ast Z3_get_algebraic_number_upper(Z3_context a0, Z3_ast a1, uint a2);示例9: Z3_get_index_value
public extern static uint Z3_get_index_value(Z3_context a0, Z3_ast a1);示例10: Z3_get_numeral_uint64
public extern static int Z3_get_numeral_uint64(Z3_context a0, Z3_ast a1, [In, Out] ref UInt64 a2);示例11: Z3_get_numeral_rational_int64
public extern static int Z3_get_numeral_rational_int64(Z3_context a0, Z3_ast a1, [In, Out] ref Int64 a2, [In, Out] ref Int64 a3);示例12: Z3_get_numeral_int
public extern static int Z3_get_numeral_int(Z3_context a0, Z3_ast a1, [In, Out] ref int a2);示例13: Z3_get_denominator
public extern static Z3_ast Z3_get_denominator(Z3_context a0, Z3_ast a1);示例14: Z3_get_numerator
public extern static Z3_ast Z3_get_numerator(Z3_context a0, Z3_ast a1);示例15: Z3_get_quantifier_body
public extern static Z3_ast Z3_get_quantifier_body(Z3_context a0, Z3_ast a1);