Lines Matching refs:newExprRef
298 SMTExprRef newExprRef(const SMTExpr &Exp) {
334 return newExprRef(
339 return newExprRef(
344 return newExprRef(
349 return newExprRef(
355 return newExprRef(
361 return newExprRef(
367 return newExprRef(
373 return newExprRef(
379 return newExprRef(
385 return newExprRef(
391 return newExprRef(
397 return newExprRef(
403 return newExprRef(
409 return newExprRef(
415 return newExprRef(
421 return newExprRef(
427 return newExprRef(
433 return newExprRef(
439 return newExprRef(
445 return newExprRef(
451 return newExprRef(
457 return newExprRef(
463 return newExprRef(
469 return newExprRef(
476 return newExprRef(Z3Expr(Context, Z3_mk_and(Context.Context, 2, Args)));
481 return newExprRef(Z3Expr(Context, Z3_mk_or(Context.Context, 2, Args)));
485 return newExprRef(
491 return newExprRef(
496 return newExprRef(Z3Expr(
501 return newExprRef(
506 return newExprRef(Z3Expr(
511 return newExprRef(Z3Expr(
517 return newExprRef(
525 return newExprRef(
532 return newExprRef(
539 return newExprRef(
547 return newExprRef(
554 return newExprRef(
560 return newExprRef(
566 return newExprRef(
572 return newExprRef(
578 return newExprRef(
585 return newExprRef(
591 return newExprRef(Z3Expr(
596 return newExprRef(Z3Expr(
602 return newExprRef(Z3Expr(Context, Z3_mk_extract(Context.Context, High, Low,
610 return newExprRef(Z3Expr(
619 return newExprRef(Z3Expr(
628 return newExprRef(Z3Expr(
637 return newExprRef(Z3Expr(
646 return newExprRef(Z3Expr(
654 return newExprRef(Z3Expr(
662 return newExprRef(Z3Expr(
671 return newExprRef(Z3Expr(
677 return newExprRef(
684 return newExprRef(Z3Expr(
692 return newExprRef(Z3Expr(
700 return newExprRef(Z3Expr(
708 return newExprRef(Z3Expr(
715 return newExprRef(Z3Expr(
721 return newExprRef(Z3Expr(Context, b ? Z3_mk_true(Context.Context)
727 return newExprRef(
738 return newExprRef(Z3Expr(
744 return newExprRef(
765 return newExprRef(Z3Expr(Context, Z3_mk_fpa_rne(Context.Context)));
834 SMTExprRef Assign = newExprRef(
848 SMTExprRef Assign = newExprRef(