Home
last modified time | relevance | path

Searched refs:Sequence_iterator (Results 1 – 5 of 5) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPointset_Powerset_templates.hh147 for (Sequence_iterator si = x.sequence.begin(), in add_constraint()
159 for (Sequence_iterator si = x.sequence.begin(), in refine_with_constraint()
171 for (Sequence_iterator si = x.sequence.begin(), in add_constraints()
183 for (Sequence_iterator si = x.sequence.begin(), in refine_with_constraints()
195 for (Sequence_iterator si = x.sequence.begin(), in add_congruence()
207 for (Sequence_iterator si = x.sequence.begin(), in refine_with_congruence()
219 for (Sequence_iterator si = x.sequence.begin(), in add_congruences()
231 for (Sequence_iterator si = x.sequence.begin(), in refine_with_congruences()
243 for (Sequence_iterator si = x.sequence.begin(), in unconstrain()
255 for (Sequence_iterator si = x.sequence.begin(), in unconstrain()
[all …]
H A DPowerset_defs.hh229 typedef typename Sequence::iterator Sequence_iterator; typedef in Parma_Polyhedra_Library::Powerset
444 void collapse(Sequence_iterator sink);
H A DPointset_Powerset_defs.hh1259 typedef typename Base::Sequence_iterator Sequence_iterator; typedef in Parma_Polyhedra_Library::Pointset_Powerset
H A DPowerset_templates.hh36 Powerset<D>::collapse(const Sequence_iterator sink) { in collapse()
H A Dppl.hh.dist101616 void collapse(Sequence_iterator sink);
103366 typedef typename Base::Sequence_iterator Sequence_iterator;
103991 for (Sequence_iterator si = x.sequence.begin(),
104003 for (Sequence_iterator si = x.sequence.begin(),
104015 for (Sequence_iterator si = x.sequence.begin(),
104027 for (Sequence_iterator si = x.sequence.begin(),
104039 for (Sequence_iterator si = x.sequence.begin(),
104051 for (Sequence_iterator si = x.sequence.begin(),
104063 for (Sequence_iterator si = x.sequence.begin(),
104180 for (Sequence_iterator si = s_begin,
[all …]