A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://z3prover.github.io/api/html/classz3_1_1expr_1_1iterator.html below:

Z3: expr::iterator Class Reference

Definition at line 1601 of file z3++.h.

◆ iterator() ◆ operator!=()

Definition at line 1609 of file z3++.h.

1610  return

i != other.i;

◆ operator*()

Definition at line 1612 of file z3++.h.

1612

{

return

e.

arg

(i); }

expr arg(unsigned i) const

Return the i-th argument of this application. This method assumes the expression is an application.

◆ operator++() [1/2]

Definition at line 1613 of file z3++.h.

1613

{ ++i;

return

*

this

; }

◆ operator++() [2/2]

Definition at line 1614 of file z3++.h.

1614

{ assert(

false

);

return

*

this

; }

◆ operator==() bool operator== ( iterator const &  other ) const inlinenoexcept

Definition at line 1606 of file z3++.h.

1607  return

i == other.i;

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4