Searched refs:incremental_strong_closure_assign (Results 1 – 4 of 4) sorted by relevance
2198 void incremental_strong_closure_assign(Variable var) const;
2780 ::incremental_strong_closure_assign(const Variable var) const { in incremental_strong_closure_assign() function in Parma_Polyhedra_Library::Octagonal_Shape3451 yy.incremental_strong_closure_assign(var_i); in simplify_using_context_assign()3492 yy.incremental_strong_closure_assign(var_j); in simplify_using_context_assign()3533 yy.incremental_strong_closure_assign(var); in simplify_using_context_assign()5280 incremental_strong_closure_assign(var); in affine_image()5521 incremental_strong_closure_assign(var); in affine_image()5697 incremental_strong_closure_assign(var); in affine_form_image()6516 incremental_strong_closure_assign(var); in generalized_affine_image()
69471 void incremental_strong_closure_assign(Variable var) const;73834 ::incremental_strong_closure_assign(const Variable var) const {73837 throw_dimension_incompatible("incremental_strong_closure_assign(v)",74505 yy.incremental_strong_closure_assign(var_i);74546 yy.incremental_strong_closure_assign(var_j);74587 yy.incremental_strong_closure_assign(var);76334 incremental_strong_closure_assign(var);76575 incremental_strong_closure_assign(var);76751 incremental_strong_closure_assign(var);77570 incremental_strong_closure_assign(var);
1344 zero-dim removed from incremental_strong_closure_assign().29638 Octagonal_Shape<T>::incremental_strong_closure_assign(Variable).