Home
last modified time | relevance | path

Searched refs:update_generators (Results 1 – 23 of 23) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DGrid_widenings.cc203 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_congruence_extrapolation_assign()
307 x.update_generators(); in generator_widening_assign()
324 yy.update_generators(); in generator_widening_assign()
412 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_generator_extrapolation_assign()
514 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_extrapolation_assign()
H A DGrid_public.cc346 if (!generators_are_up_to_date() && !update_generators()) { in grid_generators()
376 else if (!update_generators()) { in minimized_grid_generators()
412 if (!generators_are_up_to_date() && !update_generators()) { in relation_with()
663 if (!generators_are_up_to_date() && !update_generators()) { in relation_with()
814 || (!generators_are_up_to_date() && !update_generators())) { in is_bounded()
1143 if (!tmp_gr.update_generators()) { in OK()
1361 update_generators(); in add_recycled_grid_generators()
1548 if (!x.generators_are_up_to_date() && !x.update_generators()) { in upper_bound_assign()
1553 if (!y.generators_are_up_to_date() && !y.update_generators()) { in upper_bound_assign()
2372 update_generators(); in generalized_affine_image()
[all …]
H A DPolyhedron_chdims.cc322 || (!generators_are_up_to_date() && !update_generators())) { in remove_space_dimensions()
372 || (!generators_are_up_to_date() && !update_generators())) { in remove_higher_space_dimensions()
H A DGrid_nonpublic.cc255 if (!x.generators_are_up_to_date() && !x.update_generators()) { in is_included_in()
298 || (!generators_are_up_to_date() && !update_generators())) { in bounds()
510 PPL::Grid::update_generators() const { in update_generators() function in PPL::Grid
578 const bool ret = update_generators(); in minimize()
H A DPolyhedron_public.cc160 || (!generators_are_up_to_date() && !update_generators())) { in generators()
245 || (!generators_are_up_to_date() && !update_generators())) { in relation_with()
314 || (!generators_are_up_to_date() && !update_generators())) { in relation_with()
531 || (!generators_are_up_to_date() && !update_generators())) { in is_bounded()
1399 || (!generators_are_up_to_date() && !update_generators())) { in add_generator()
1918 || (!generators_are_up_to_date() && !update_generators())) { in unconstrain()
1957 || (!generators_are_up_to_date() && !update_generators())) { in unconstrain()
2606 || (!x.generators_are_up_to_date() && !x.update_generators())) { in poly_hull_assign()
2612 || (!y.generators_are_up_to_date() && !y.update_generators())) { in poly_hull_assign()
3625 || (!x.generators_are_up_to_date() && !x.update_generators()) in time_elapse_assign()
[all …]
H A DPolyhedron_widenings.cc90 y.update_generators(); in select_H79_constraints()
363 || (!x.generators_are_up_to_date() && !x.update_generators())) { in limited_H79_extrapolation_assign()
904 || (!x.generators_are_up_to_date() && !x.update_generators())) { in limited_BHRZ03_extrapolation_assign()
H A DPolyhedron_nonpublic.cc443 if (!x.generators_are_up_to_date() && !x.update_generators()) { in is_included_in()
584 || (!generators_are_up_to_date() && !update_generators())) { in bounds()
639 || (!generators_are_up_to_date() && !update_generators())) { in max_min()
878 PPL::Polyhedron::update_generators() const { in update_generators() function in PPL::Polyhedron
1135 const bool ret = update_generators(); in minimize()
2396 || (!x.generators_are_up_to_date() && !x.update_generators()) in positive_time_elapse_assign_impl()
2398 || (!y.generators_are_up_to_date() && !y.update_generators())) { in positive_time_elapse_assign_impl()
H A DGrid_templates.hh127 || (!generators_are_up_to_date() && !update_generators())) { in map_space_dimensions()
H A DGrid_chdims.cc291 || (!generators_are_up_to_date() && !update_generators())) { in remove_space_dimensions()
H A DGrid_defs.hh2122 bool update_generators() const;
H A DPolyhedron_defs.hh2292 bool update_generators() const;
H A DPolyhedron_templates.hh162 || (!generators_are_up_to_date() && !update_generators())) { in map_space_dimensions()
H A DBox_templates.hh497 if (!gr.generators_are_up_to_date() && !gr.update_generators()) { in Box()
H A Dppl.hh.dist49680 bool update_generators() const;
53557 || (!generators_are_up_to_date() && !update_generators())) {
58783 bool update_generators() const;
59985 || (!generators_are_up_to_date() && !update_generators())) {
88116 if (!gr.generators_are_up_to_date() && !gr.update_generators()) {
/dports/math/gap/gap-4.11.0/pkg/anupq-3.2.1/src/
H A Dupdate_generators.c23 void update_generators(struct pcp_vars *pcp) in update_generators() function
H A Dinteractive_pq.c236 update_generators(pcp); in interactive_pq()
307 update_generators(pcp); in interactive_pq()
H A Dnext_class.c59 update_generators(pcp); in next_class()
H A Dstandard.c191 update_generators(pcp); in start_pga_run()
/dports/games/flightgear-aircraft/fgaircraft/Lockheed1049h/Nasal/
H A DLockheed1049h-electrical.nas80 var update_generators = func {
167 update_generators();
/dports/math/gap/gap-4.11.0/pkg/anupq-3.2.1/
H A DMakefile.am165 src/update_generators.c \
H A DMakefile.in185 src/pq-update.$(OBJEXT) src/pq-update_generators.$(OBJEXT) \
530 src/update_generators.c \
884 src/pq-update_generators.$(OBJEXT): src/$(am__dirstamp) \
1030 @AMDEP_TRUE@@am__include@ @am__quote@src/$(DEPDIR)/pq-update_generators.Po@am__quote@
2773 src/pq-update_generators.o: src/update_generators.c
2774 …update_generators.o -MD -MP -MF src/$(DEPDIR)/pq-update_generators.Tpo -c -o src/pq-update_generat…
2775 …epCC_TRUE@ $(AM_V_at)$(am__mv) src/$(DEPDIR)/pq-update_generators.Tpo src/$(DEPDIR)/pq-update_gene…
2778 …AGS) $(CFLAGS) -c -o src/pq-update_generators.o `test -f 'src/update_generators.c' || echo '$(srcd…
2780 src/pq-update_generators.obj: src/update_generators.c
2781 …GS) $(CFLAGS) -MT src/pq-update_generators.obj -MD -MP -MF src/$(DEPDIR)/pq-update_generators.Tpo …
[all …]
/dports/math/gap/gap-4.11.0/pkg/anupq-3.2.1/include/
H A Dpq_functions.h252 void update_generators (struct pcp_vars *pcp);
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200856083 update_generators system column assertion into congruence
57373 (update_generators will simplify them).
57458 simplify instead of update_generators and update_congruences,
57517 minimize via update_generators instead of via minimize.
57744 and update_generators. Call update_congruences and
57745 update_generators instead of the static minimize methods in
66540 In update_congruences and update_generators set the grid empty
89937 PolyBase::update_generators().
90061 of PolyBase::update_generators().
90497 returned by update_generators() to shorthen computations when
[all …]