| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | region.h | 44 void pop_scope();
46 void pop_scope(unsigned num_scopes) { in pop_scope() function
48 pop_scope(); in pop_scope()
80 void pop_scope();
81 void pop_scope(unsigned num_scopes) { in pop_scope() function
83 pop_scope(); in pop_scope()
|
| H A D | dependency.h | 262 void pop_scope(unsigned num) { in pop_scope() function
263 m_region.pop_scope(num); in pop_scope()
315 void pop_scope(unsigned num_scopes) { in pop_scope() function
316 m_allocator.pop_scope(num_scopes); in pop_scope()
|
| H A D | region.cpp | 40 void region::pop_scope() { in pop_scope() function in region
124 void region::pop_scope() { in pop_scope() function in region
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | region.h | 44 void pop_scope();
46 void pop_scope(unsigned num_scopes) { in pop_scope() function
48 pop_scope(); in pop_scope()
80 void pop_scope();
81 void pop_scope(unsigned num_scopes) { in pop_scope() function
83 pop_scope(); in pop_scope()
|
| H A D | dependency.h | 262 void pop_scope(unsigned num) { in pop_scope() function
263 m_region.pop_scope(num); in pop_scope()
315 void pop_scope(unsigned num_scopes) { in pop_scope() function
316 m_allocator.pop_scope(num_scopes); in pop_scope()
|
| H A D | region.cpp | 40 void region::pop_scope() { in pop_scope() function in region
124 void region::pop_scope() { in pop_scope() function in region
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | incremental_vector.h | 40 void pop_scope() { in pop_scope() function
41 pop_scope(1); in pop_scope()
55 void pop_scope(unsigned k) { in pop_scope() function
|
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | incremental_vector.h | 40 void pop_scope() { in pop_scope() function
41 pop_scope(1); in pop_scope()
55 void pop_scope(unsigned k) { in pop_scope() function
|
| /dports/textproc/p5-Text-Xslate/Text-Xslate-3.4.0/lib/Text/Xslate/Syntax/ |
| H A D | TTerse.pm | 230 $parser->pop_scope();
247 $parser->pop_scope();
269 $parser->pop_scope();
274 $parser->pop_scope();
301 $parser->pop_scope();
357 $parser->pop_scope();
371 $parser->pop_scope();
392 $parser->pop_scope();
514 $parser->pop_scope();
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | maximize_ac_sharing.h | 96 void pop_scope(unsigned num_scopes);
119 void pop_scope(unsigned n) { m_cfg.pop_scope(n); } in pop_scope() function
|
| H A D | maximize_ac_sharing.cpp | 133 void maximize_ac_sharing::pop_scope(unsigned num_scopes) { in pop_scope() function in maximize_ac_sharing
138 m_region.pop_scope(num_scopes); in pop_scope()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | maximize_ac_sharing.h | 96 void pop_scope(unsigned num_scopes);
119 void pop_scope(unsigned n) { m_cfg.pop_scope(n); } in pop_scope() function
|
| H A D | maximize_ac_sharing.cpp | 133 void maximize_ac_sharing::pop_scope(unsigned num_scopes) { in pop_scope() function in maximize_ac_sharing
138 m_region.pop_scope(num_scopes); in pop_scope()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | sat_dual_solver.cpp | 51 m_vars.pop_scope(num_scopes); in pop()
52 m_units.pop_scope(num_scopes); in pop()
53 m_roots.pop_scope(num_scopes); in pop()
54 m_tracked_vars.pop_scope(num_scopes); in pop()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | sat_dual_solver.cpp | 60 m_vars.pop_scope(num_scopes); in pop()
61 m_units.pop_scope(num_scopes); in pop()
62 m_roots.pop_scope(num_scopes); in pop()
63 m_tracked_vars.pop_scope(num_scopes); in pop()
|
| /dports/devel/make++/makepp-2.0/Mpp/Scanner/ |
| H A D | C.pm | 80 sub pop_scope { subroutine
82 my $result = $self->SUPER::pop_scope();
112 @state = @{$self->pop_scope};
305 $self->pop_scope();
|
| H A D | Verilog.pm | 247 $self->push_scope(!$self->pop_scope);
250 $self->pop_scope();
|
| /dports/math/libpgmath/flang-d07daf3/tools/flang1/flang1exe/ |
| H A D | scopestack.c | 32 static void pop_scope(void);
318 pop_scope(); in pop_scope_level()
357 pop_scope(); in save_scope_level()
455 pop_scope(void) in pop_scope() function
|
| /dports/net/google-cloud-sdk/google-cloud-sdk/lib/third_party/jsonschema/ |
| H A D | validators.py | 118 self.resolver.pop_scope()
325 def pop_scope(self): member in RefResolver
350 self.pop_scope()
371 self.pop_scope()
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | smt_lookahead.cpp | 97 ctx.pop_scope(1); in choose()
113 ctx.pop_scope(1); in choose()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | smt_lookahead.cpp | 97 ctx.pop_scope(1); in choose()
113 ctx.pop_scope(1); in choose()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/normal_forms/ |
| H A D | defined_names.cpp | 70 void pop_scope(unsigned num_scopes);
292 void defined_names::impl::pop_scope(unsigned num_scopes) { in pop_scope() function in defined_names::impl
356 m_impl->pop_scope(num_scopes); in pop()
357 m_pos_impl->pop_scope(num_scopes); in pop()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/normal_forms/ |
| H A D | defined_names.cpp | 70 void pop_scope(unsigned num_scopes);
290 void defined_names::impl::pop_scope(unsigned num_scopes) { in pop_scope() function in defined_names::impl
354 m_impl->pop_scope(num_scopes); in pop()
355 m_pos_impl->pop_scope(num_scopes); in pop()
|
| /dports/math/algae/algae-4.3.6/src/ |
| H A D | hash.c | 232 pop_scope () in pop_scope() function
255 ufp = pop_scope (); in cleanup_scope_stack()
|
| /dports/lang/perl5.34/perl-5.34.0/ |
| H A D | scope.h | 198 pop_scope(); \
215 pop_scope(); \
219 #define LEAVE pop_scope()
|