From 57cd9f2d2c6292fb63206b039b62e528b1b090d5 Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Fri, 20 Mar 2015 15:15:37 +0100 Subject: [PATCH] Replace guards by pragma once. * iface/ltsmin/ltsmin.hh, src/bin/common_aoutput.hh, src/bin/common_conv.hh, src/bin/common_cout.hh, src/bin/common_file.hh, src/bin/common_finput.hh, src/bin/common_output.hh, src/bin/common_post.hh, src/bin/common_r.hh, src/bin/common_range.hh, src/bin/common_setup.hh, src/bin/common_sys.hh, src/bin/common_trans.hh, src/dstarparse/parsedecl.hh, src/dstarparse/public.hh, src/graph/graph.hh, src/graph/ngraph.hh, src/hoaparse/parsedecl.hh, src/hoaparse/public.hh, src/kripke/fairkripke.hh, src/kripke/fwd.hh, src/kripke/kripke.hh, src/kripke/kripkeexplicit.hh, src/kripke/kripkeprint.hh, src/kripkeparse/parsedecl.hh, src/kripkeparse/public.hh, src/ltlast/allnodes.hh, src/ltlast/atomic_prop.hh, src/ltlast/binop.hh, src/ltlast/bunop.hh, src/ltlast/constant.hh, src/ltlast/formula.hh, src/ltlast/multop.hh, src/ltlast/predecl.hh, src/ltlast/unop.hh, src/ltlast/visitor.hh, src/ltlenv/declenv.hh, src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh, src/ltlparse/parsedecl.hh, src/ltlparse/public.hh, src/ltlvisit/apcollect.hh, src/ltlvisit/clone.hh, src/ltlvisit/contain.hh, src/ltlvisit/dotty.hh, src/ltlvisit/dump.hh, src/ltlvisit/lbt.hh, src/ltlvisit/length.hh, src/ltlvisit/lunabbrev.hh, src/ltlvisit/mark.hh, src/ltlvisit/mutation.hh, src/ltlvisit/nenoform.hh, src/ltlvisit/postfix.hh, src/ltlvisit/randomltl.hh, src/ltlvisit/relabel.hh, src/ltlvisit/remove_x.hh, src/ltlvisit/simpfg.hh, src/ltlvisit/simplify.hh, src/ltlvisit/snf.hh, src/ltlvisit/tostring.hh, src/ltlvisit/tunabbrev.hh, src/ltlvisit/wmunabbrev.hh, src/misc/bareword.hh, src/misc/bddlt.hh, src/misc/bitvect.hh, src/misc/casts.hh, src/misc/common.hh, src/misc/escape.hh, src/misc/fixpool.hh, src/misc/formater.hh, src/misc/hash.hh, src/misc/hashfunc.hh, src/misc/intvcmp2.hh, src/misc/intvcomp.hh, src/misc/location.hh, src/misc/ltstr.hh, src/misc/memusage.hh, src/misc/minato.hh, src/misc/mspool.hh, src/misc/optionmap.hh, src/misc/position.hh, src/misc/random.hh, src/misc/satsolver.hh, src/misc/timer.hh, src/misc/tmpfile.hh, src/misc/version.hh, src/priv/accmap.hh, src/priv/bddalloc.hh, src/priv/freelist.hh, src/ta/ta.hh, src/ta/taexplicit.hh, src/ta/taproduct.hh, src/ta/tgta.hh, src/ta/tgtaexplicit.hh, src/ta/tgtaproduct.hh, src/taalgos/dotty.hh, src/taalgos/emptinessta.hh, src/taalgos/minimize.hh, src/taalgos/reachiter.hh, src/taalgos/statessetbuilder.hh, src/taalgos/stats.hh, src/taalgos/tgba2ta.hh, src/tgba/acc.hh, src/tgba/bdddict.hh, src/tgba/bddprint.hh, src/tgba/formula2bdd.hh, src/tgba/fwd.hh, src/tgba/taatgba.hh, src/tgba/tgba.hh, src/tgba/tgbagraph.hh, src/tgba/tgbamask.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbaproxy.hh, src/tgba/tgbasafracomplement.hh, src/tgbaalgos/are_isomorphic.hh, src/tgbaalgos/bfssteps.hh, src/tgbaalgos/canonicalize.hh, src/tgbaalgos/cleanacc.hh, src/tgbaalgos/complete.hh, src/tgbaalgos/compsusp.hh, src/tgbaalgos/cycles.hh, src/tgbaalgos/degen.hh, src/tgbaalgos/dotty.hh, src/tgbaalgos/dtbasat.hh, src/tgbaalgos/dtgbacomp.hh, src/tgbaalgos/dtgbasat.hh, src/tgbaalgos/dupexp.hh, src/tgbaalgos/emptiness.hh, src/tgbaalgos/emptiness_stats.hh, src/tgbaalgos/gtec/ce.hh, src/tgbaalgos/gtec/gtec.hh, src/tgbaalgos/gtec/sccstack.hh, src/tgbaalgos/gtec/status.hh, src/tgbaalgos/gv04.hh, src/tgbaalgos/hoa.hh, src/tgbaalgos/isdet.hh, src/tgbaalgos/isweakscc.hh, src/tgbaalgos/lbtt.hh, src/tgbaalgos/ltl2taa.hh, src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/magic.hh, src/tgbaalgos/mask.hh, src/tgbaalgos/minimize.hh, src/tgbaalgos/neverclaim.hh, src/tgbaalgos/postproc.hh, src/tgbaalgos/powerset.hh, src/tgbaalgos/product.hh, src/tgbaalgos/projrun.hh, src/tgbaalgos/randomgraph.hh, src/tgbaalgos/randomize.hh, src/tgbaalgos/reachiter.hh, src/tgbaalgos/reducerun.hh, src/tgbaalgos/relabel.hh, src/tgbaalgos/remfin.hh, src/tgbaalgos/replayrun.hh, src/tgbaalgos/safety.hh, src/tgbaalgos/sbacc.hh, src/tgbaalgos/scc.hh, src/tgbaalgos/sccfilter.hh, src/tgbaalgos/sccinfo.hh, src/tgbaalgos/se05.hh, src/tgbaalgos/simulation.hh, src/tgbaalgos/stats.hh, src/tgbaalgos/stripacc.hh, src/tgbaalgos/stutter.hh, src/tgbaalgos/tau03.hh, src/tgbaalgos/tau03opt.hh, src/tgbaalgos/translate.hh, src/tgbaalgos/weight.hh, src/tgbaalgos/word.hh, src/sanity/includes.test, src/tgbaalgos/ndfs_result.hxx: here. --- iface/ltsmin/ltsmin.hh | 6 +----- src/bin/common_aoutput.hh | 7 +------ src/bin/common_conv.hh | 6 +----- src/bin/common_cout.hh | 5 +---- src/bin/common_file.hh | 5 +---- src/bin/common_finput.hh | 7 +------ src/bin/common_output.hh | 5 +---- src/bin/common_post.hh | 7 +------ src/bin/common_r.hh | 5 +---- src/bin/common_range.hh | 6 +----- src/bin/common_setup.hh | 5 +---- src/bin/common_sys.hh | 5 +---- src/bin/common_trans.hh | 6 +----- src/dstarparse/parsedecl.hh | 5 +---- src/dstarparse/public.hh | 22 +++++++++------------- src/graph/graph.hh | 7 +------ src/graph/ngraph.hh | 6 +----- src/hoaparse/parsedecl.hh | 5 +---- src/hoaparse/public.hh | 21 +++++++++------------ src/kripke/fairkripke.hh | 7 +------ src/kripke/fwd.hh | 5 +---- src/kripke/kripke.hh | 7 +------ src/kripke/kripkeexplicit.hh | 13 +++++-------- src/kripke/kripkeprint.hh | 12 ++++-------- src/kripkeparse/parsedecl.hh | 11 ++++------- src/kripkeparse/public.hh | 22 ++++++++-------------- src/ltlast/allnodes.hh | 17 +++++++---------- src/ltlast/atomic_prop.hh | 5 +---- src/ltlast/binop.hh | 5 +---- src/ltlast/bunop.hh | 4 +--- src/ltlast/constant.hh | 5 +---- src/ltlast/formula.hh | 5 +---- src/ltlast/multop.hh | 5 +---- src/ltlast/predecl.hh | 5 +---- src/ltlast/unop.hh | 5 +---- src/ltlast/visitor.hh | 9 +++------ src/ltlenv/declenv.hh | 13 +++++-------- src/ltlenv/defaultenv.hh | 10 +++------- src/ltlenv/environment.hh | 9 +++------ src/ltlparse/parsedecl.hh | 5 +---- src/ltlparse/public.hh | 19 ++++++++----------- src/ltlvisit/apcollect.hh | 4 +--- src/ltlvisit/clone.hh | 5 +---- src/ltlvisit/contain.hh | 5 +---- src/ltlvisit/dotty.hh | 5 +---- src/ltlvisit/dump.hh | 5 +---- src/ltlvisit/lbt.hh | 5 +---- src/ltlvisit/length.hh | 5 +---- src/ltlvisit/lunabbrev.hh | 5 +---- src/ltlvisit/mark.hh | 5 +---- src/ltlvisit/mutation.hh | 4 +--- src/ltlvisit/nenoform.hh | 5 +---- src/ltlvisit/postfix.hh | 5 +---- src/ltlvisit/randomltl.hh | 4 +--- src/ltlvisit/relabel.hh | 8 +------- src/ltlvisit/remove_x.hh | 7 ++----- src/ltlvisit/simpfg.hh | 5 +---- src/ltlvisit/simplify.hh | 6 +----- src/ltlvisit/snf.hh | 5 +---- src/ltlvisit/tostring.hh | 5 +---- src/ltlvisit/tunabbrev.hh | 5 +---- src/ltlvisit/wmunabbrev.hh | 7 ++----- src/misc/bareword.hh | 9 +++------ src/misc/bddlt.hh | 10 +++------- src/misc/bitvect.hh | 20 ++++++++------------ src/misc/casts.hh | 6 +----- src/misc/common.hh | 5 +---- src/misc/escape.hh | 11 ++++------- src/misc/fixpool.hh | 6 +----- src/misc/formater.hh | 6 +----- src/misc/hash.hh | 18 +++++++----------- src/misc/hashfunc.hh | 8 +++----- src/misc/intvcmp2.hh | 11 ++++------- src/misc/intvcomp.hh | 11 ++++------- src/misc/location.hh | 7 ++----- src/misc/ltstr.hh | 9 +++------ src/misc/memusage.hh | 5 +---- src/misc/minato.hh | 11 ++++------- src/misc/mspool.hh | 6 +----- src/misc/optionmap.hh | 5 +---- src/misc/position.hh | 25 ++++++++++--------------- src/misc/random.hh | 11 ++++------- src/misc/satsolver.hh | 5 +---- src/misc/timer.hh | 27 ++++++++++++--------------- src/misc/tmpfile.hh | 18 +++++++----------- src/misc/version.hh | 7 ++----- src/priv/accmap.hh | 5 +---- src/priv/bddalloc.hh | 6 +----- src/priv/freelist.hh | 7 +------ src/sanity/includes.test | 26 ++++---------------------- src/ta/ta.hh | 7 +------ src/ta/taexplicit.hh | 6 +----- src/ta/taproduct.hh | 6 +----- src/ta/tgta.hh | 6 +----- src/ta/tgtaexplicit.hh | 5 +---- src/ta/tgtaproduct.hh | 6 +----- src/taalgos/dotty.hh | 5 +---- src/taalgos/emptinessta.hh | 5 +---- src/taalgos/minimize.hh | 11 ++++------- src/taalgos/reachiter.hh | 6 +----- src/taalgos/statessetbuilder.hh | 6 +----- src/taalgos/stats.hh | 5 +---- src/taalgos/tgba2ta.hh | 6 +----- src/tgba/acc.hh | 17 +++++++---------- src/tgba/bdddict.hh | 5 +---- src/tgba/bddprint.hh | 6 +----- src/tgba/formula2bdd.hh | 7 ++----- src/tgba/fwd.hh | 5 +---- src/tgba/taatgba.hh | 6 +----- src/tgba/tgba.hh | 5 +---- src/tgba/tgbagraph.hh | 6 +----- src/tgba/tgbamask.hh | 6 +----- src/tgba/tgbaproduct.hh | 5 +---- src/tgba/tgbaproxy.hh | 5 +---- src/tgba/tgbasafracomplement.hh | 9 +++------ src/tgbaalgos/are_isomorphic.hh | 5 +---- src/tgbaalgos/bfssteps.hh | 7 +------ src/tgbaalgos/canonicalize.hh | 6 ++---- src/tgbaalgos/cleanacc.hh | 5 +---- src/tgbaalgos/complete.hh | 5 +---- src/tgbaalgos/compsusp.hh | 5 +---- src/tgbaalgos/cycles.hh | 6 +----- src/tgbaalgos/degen.hh | 8 ++------ src/tgbaalgos/dotty.hh | 11 ++++------- src/tgbaalgos/dtbasat.hh | 5 +---- src/tgbaalgos/dtgbacomp.hh | 5 +---- src/tgbaalgos/dtgbasat.hh | 5 +---- src/tgbaalgos/dupexp.hh | 13 +++++-------- src/tgbaalgos/emptiness.hh | 5 +---- src/tgbaalgos/emptiness_stats.hh | 7 +------ src/tgbaalgos/gtec/ce.hh | 5 +---- src/tgbaalgos/gtec/gtec.hh | 5 +---- src/tgbaalgos/gtec/sccstack.hh | 5 +---- src/tgbaalgos/gtec/status.hh | 6 +----- src/tgbaalgos/gv04.hh | 11 ++++------- src/tgbaalgos/hoa.hh | 5 +---- src/tgbaalgos/isdet.hh | 7 ++----- src/tgbaalgos/isweakscc.hh | 6 +----- src/tgbaalgos/lbtt.hh | 5 +---- src/tgbaalgos/ltl2taa.hh | 5 +---- src/tgbaalgos/ltl2tgba_fm.hh | 5 +---- src/tgbaalgos/magic.hh | 5 +---- src/tgbaalgos/mask.hh | 8 +------- src/tgbaalgos/minimize.hh | 10 +++------- src/tgbaalgos/ndfs_result.hxx | 5 +---- src/tgbaalgos/neverclaim.hh | 5 +---- src/tgbaalgos/postproc.hh | 5 +---- src/tgbaalgos/powerset.hh | 11 ++++------- src/tgbaalgos/product.hh | 5 +---- src/tgbaalgos/projrun.hh | 13 +++++-------- src/tgbaalgos/randomgraph.hh | 5 +---- src/tgbaalgos/randomize.hh | 5 +---- src/tgbaalgos/reachiter.hh | 6 +----- src/tgbaalgos/reducerun.hh | 11 ++++------- src/tgbaalgos/relabel.hh | 5 +---- src/tgbaalgos/remfin.hh | 5 +---- src/tgbaalgos/replayrun.hh | 13 +++++-------- src/tgbaalgos/safety.hh | 5 +---- src/tgbaalgos/sbacc.hh | 5 +---- src/tgbaalgos/scc.hh | 5 +---- src/tgbaalgos/sccfilter.hh | 5 +---- src/tgbaalgos/sccinfo.hh | 5 +---- src/tgbaalgos/se05.hh | 13 +++++-------- src/tgbaalgos/simulation.hh | 11 +++-------- src/tgbaalgos/stats.hh | 5 +---- src/tgbaalgos/stripacc.hh | 7 ++----- src/tgbaalgos/stutter.hh | 5 +---- src/tgbaalgos/tau03.hh | 11 ++++------- src/tgbaalgos/tau03opt.hh | 11 ++++------- src/tgbaalgos/translate.hh | 6 +----- src/tgbaalgos/weight.hh | 5 +---- src/tgbaalgos/word.hh | 7 ++----- 172 files changed, 352 insertions(+), 946 deletions(-) diff --git a/iface/ltsmin/ltsmin.hh b/iface/ltsmin/ltsmin.hh index 431ffde7c..75abc0b05 100644 --- a/iface/ltsmin/ltsmin.hh +++ b/iface/ltsmin/ltsmin.hh @@ -17,14 +17,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_IFACE_LTSMIN_LTSMIN_HH -# define SPOT_IFACE_LTSMIN_LTSMIN_HH +#pragma once #include "kripke/kripke.hh" #include "ltlvisit/apcollect.hh" #include "ltlast/constant.hh" - namespace spot { @@ -64,5 +62,3 @@ namespace spot const ltl::formula* dead = ltl::constant::true_instance(), int compress = 0, bool verbose = true); } - -#endif // SPOT_IFACE_LTSMIN_LTSMIN_HH diff --git a/src/bin/common_aoutput.hh b/src/bin/common_aoutput.hh index b83870863..7f402c65a 100644 --- a/src/bin/common_aoutput.hh +++ b/src/bin/common_aoutput.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_AOUTPUT_HH -#define SPOT_BIN_COMMON_AOUTPUT_HH +#pragma once #include "common_sys.hh" @@ -237,7 +236,3 @@ public: void add_stat(char c, const spot::printable* p); }; - - - -#endif // SPOT_BIN_COMMON_AOUTPUT_HH diff --git a/src/bin/common_conv.hh b/src/bin/common_conv.hh index ab867b46b..8843b681a 100644 --- a/src/bin/common_conv.hh +++ b/src/bin/common_conv.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_CONV_HH -#define SPOT_BIN_COMMON_CONV_HH +#pragma once #include "common_sys.hh" #include "tgba/tgbagraph.hh" @@ -34,6 +33,3 @@ std::vector to_longs(const char* s); spot::tgba_digraph_ptr read_automaton(const char* filename, spot::bdd_dict_ptr& dict); - - -#endif // SPOT_BIN_COMMON_CONV_HH diff --git a/src/bin/common_cout.hh b/src/bin/common_cout.hh index e11919900..7b55ad802 100644 --- a/src/bin/common_cout.hh +++ b/src/bin/common_cout.hh @@ -17,10 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_COUT_HH -#define SPOT_BIN_COMMON_COUT_HH +#pragma once void check_cout(); void flush_cout(); - -#endif // SPOT_BIN_COMMON_COUT_HH diff --git a/src/bin/common_file.hh b/src/bin/common_file.hh index 038a4a72c..8a80bc189 100644 --- a/src/bin/common_file.hh +++ b/src/bin/common_file.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_FILE_HH -#define SPOT_BIN_COMMON_FILE_HH +#pragma once #include "common_sys.hh" #include @@ -50,5 +49,3 @@ public: return *os_; } }; - -#endif // SPOT_BIN_COMMON_FILE_HH diff --git a/src/bin/common_finput.hh b/src/bin/common_finput.hh index 35439b39a..229c5d281 100644 --- a/src/bin/common_finput.hh +++ b/src/bin/common_finput.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_FINPUT_HH -#define SPOT_BIN_COMMON_FINPUT_HH +#pragma once #include "common_sys.hh" @@ -79,7 +78,3 @@ public: char* prefix; char* suffix; }; - - - -#endif // SPOT_BIN_COMMON_FINPUT_HH diff --git a/src/bin/common_output.hh b/src/bin/common_output.hh index facdb0648..1f540b7a9 100644 --- a/src/bin/common_output.hh +++ b/src/bin/common_output.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_OUTPUT_HH -#define SPOT_BIN_COMMON_OUTPUT_HH +#pragma once #include "common_sys.hh" @@ -83,5 +82,3 @@ public: printable_formula formula_; }; - -#endif // SPOT_BIN_COMMON_OUTPUT_HH diff --git a/src/bin/common_post.hh b/src/bin/common_post.hh index 3c8aac529..a2997e49a 100644 --- a/src/bin/common_post.hh +++ b/src/bin/common_post.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_POST_HH -#define SPOT_BIN_COMMON_POST_HH +#pragma once #include "common_sys.hh" #include "tgbaalgos/postproc.hh" @@ -31,7 +30,3 @@ extern spot::postprocessor::output_type type; extern spot::postprocessor::output_pref pref; extern spot::postprocessor::output_pref comp; extern spot::postprocessor::optimization_level level; - - - -#endif // SPOT_BIN_COMMON_FINPUT_HH diff --git a/src/bin/common_r.hh b/src/bin/common_r.hh index f8cf6cfec..97b27b7a2 100644 --- a/src/bin/common_r.hh +++ b/src/bin/common_r.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_R_HH -#define SPOT_BIN_COMMON_R_HH +#pragma once #include "common_sys.hh" #include "ltlvisit/simplify.hh" @@ -45,5 +44,3 @@ extern int simplification_level; void parse_r(const char* arg); spot::ltl::ltl_simplifier_options simplifier_options(); - -#endif // SPOT_BIN_COMMON_RANGE_HH diff --git a/src/bin/common_range.hh b/src/bin/common_range.hh index 587965d6f..10a844c45 100644 --- a/src/bin/common_range.hh +++ b/src/bin/common_range.hh @@ -17,9 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_RANGE_HH -#define SPOT_BIN_COMMON_RANGE_HH - +#pragma once #define RANGE_DOC \ { 0, 0, 0, 0, "RANGE may have one of the following forms: 'INT', " \ @@ -48,5 +46,3 @@ struct range // is disallowed. range parse_range(const char* str, int missing_left = 1, int missing_right = 0); - -#endif // SPOT_BIN_COMMON_RANGE_HH diff --git a/src/bin/common_setup.hh b/src/bin/common_setup.hh index 8d6a0d96a..e8d3ae5ac 100644 --- a/src/bin/common_setup.hh +++ b/src/bin/common_setup.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_SETUP_HH -#define SPOT_BIN_COMMON_SETUP_HH +#pragma once #include "common_sys.hh" #include "progname.h" @@ -27,5 +26,3 @@ void setup(char** progname); extern const struct argp misc_argp; extern const struct argp misc_argp_hidden; - -#endif // SPOT_BIN_COMMON_SETUP_HH diff --git a/src/bin/common_sys.hh b/src/bin/common_sys.hh index 98579836c..dbcc8fdbf 100644 --- a/src/bin/common_sys.hh +++ b/src/bin/common_sys.hh @@ -17,11 +17,8 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_SYS_HH -#define SPOT_BIN_COMMON_SYS_HH +#pragma once #ifdef HAVE_CONFIG_H # include "config.h" #endif - -#endif // SPOT_BIN_COMMON_SYS_HH diff --git a/src/bin/common_trans.hh b/src/bin/common_trans.hh index 2c6c2be89..cd18f8425 100644 --- a/src/bin/common_trans.hh +++ b/src/bin/common_trans.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_BIN_COMMON_TRANS_HH -#define SPOT_BIN_COMMON_TRANS_HH +#pragma once #include "common_sys.hh" #include @@ -118,6 +117,3 @@ int exec_with_timeout(const char* cmd); #define exec_with_timeout(cmd) system(cmd) #define setup_sig_handler() while (0); #endif // !ENABLE_TIMEOUT - - -#endif // SPOT_BIN_COMMON_TRANS_HH diff --git a/src/dstarparse/parsedecl.hh b/src/dstarparse/parsedecl.hh index d69170eb8..4fba459dd 100644 --- a/src/dstarparse/parsedecl.hh +++ b/src/dstarparse/parsedecl.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_DSTARPARSE_PARSEDECL_HH -# define SPOT_DSTARPARSE_PARSEDECL_HH +#pragma once #include #include "dstarparse.hh" @@ -35,5 +34,3 @@ namespace spot int dstaryyopen(const std::string& name); void dstaryyclose(); } - -#endif // SPOT_DSTARPARSE_PARSEDECL_HH diff --git a/src/dstarparse/public.hh b/src/dstarparse/public.hh index 291611f92..5c8dd4c6d 100644 --- a/src/dstarparse/public.hh +++ b/src/dstarparse/public.hh @@ -17,17 +17,16 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_DSTARPARSE_PUBLIC_HH -# define SPOT_DSTARPARSE_PUBLIC_HH +#pragma once -# include "tgba/tgbagraph.hh" -# include "misc/location.hh" -# include "ltlenv/defaultenv.hh" -# include -# include -# include -# include -# include +#include "tgba/tgbagraph.hh" +#include "misc/location.hh" +#include "ltlenv/defaultenv.hh" +#include +#include +#include +#include +#include namespace spot { @@ -147,8 +146,5 @@ namespace spot SPOT_API tgba_digraph_ptr dstar_to_tgba(const const_dstar_aut_ptr& dstar); - /// @} } - -#endif // SPOT_DSTARPARSE_PUBLIC_HH diff --git a/src/graph/graph.hh b/src/graph/graph.hh index fec5e0ac7..0ab6b05fa 100644 --- a/src/graph/graph.hh +++ b/src/graph/graph.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_GRAPH_GRAPH_HH -# define SPOT_GRAPH_GRAPH_HH +#pragma once #include "misc/common.hh" #include @@ -959,9 +958,5 @@ namespace spot //std::cerr << "\nafter defrag\n"; //dump_storage(std::cerr); } - }; - } - -#endif // SPOT_GRAPH_GRAPH_HH diff --git a/src/graph/ngraph.hh b/src/graph/ngraph.hh index 8232008c6..75fea5715 100644 --- a/src/graph/ngraph.hh +++ b/src/graph/ngraph.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_GRAPH_NGRAPH_HH -# define SPOT_GRAPH_NGRAPH_HH +#pragma once #include #include @@ -162,7 +161,4 @@ namespace spot return g_.new_transition(get_state(src), d, std::forward(args)...); } }; - } - -#endif // SPOT_GRAPH_NGRAPH_HH diff --git a/src/hoaparse/parsedecl.hh b/src/hoaparse/parsedecl.hh index e3ddf4ccf..286b8b773 100644 --- a/src/hoaparse/parsedecl.hh +++ b/src/hoaparse/parsedecl.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_HOAPARSE_PARSEDECL_HH -# define SPOT_HOAPARSE_PARSEDECL_HH +#pragma once #include #include "hoaparse.hh" @@ -42,5 +41,3 @@ namespace spot spot::location pos; }; } - -#endif // SPOT_HOAPARSE_PARSEDECL_HH diff --git a/src/hoaparse/public.hh b/src/hoaparse/public.hh index dc93973bb..5559cc4d9 100644 --- a/src/hoaparse/public.hh +++ b/src/hoaparse/public.hh @@ -17,17 +17,16 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_HOAPARSE_PUBLIC_HH -# define SPOT_HOAPARSE_PUBLIC_HH +#pragma once -# include "tgba/tgbagraph.hh" -# include "misc/location.hh" -# include "ltlenv/defaultenv.hh" -# include -# include -# include -# include -# include +#include "tgba/tgbagraph.hh" +#include "misc/location.hh" +#include "ltlenv/defaultenv.hh" +#include +#include +#include +#include +#include namespace spot { @@ -130,5 +129,3 @@ namespace spot /// @} } - -#endif // SPOT_HOAPARSE_PUBLIC_HH diff --git a/src/kripke/fairkripke.hh b/src/kripke/fairkripke.hh index 1693c0e72..a13ccd719 100644 --- a/src/kripke/fairkripke.hh +++ b/src/kripke/fairkripke.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_KRIPKE_FAIRKRIPKE_HH -# define SPOT_KRIPKE_FAIRKRIPKE_HH +#pragma once #include "tgba/tgba.hh" #include "fwd.hh" @@ -106,8 +105,4 @@ namespace spot protected: virtual bdd compute_support_conditions(const state* s) const; }; - } - - -#endif // SPOT_KRIPKE_FAIRKRIPKE_HH diff --git a/src/kripke/fwd.hh b/src/kripke/fwd.hh index 84cf9daa4..409ace79d 100644 --- a/src/kripke/fwd.hh +++ b/src/kripke/fwd.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_KRIPKE_FWD_HH -# define SPOT_KRIPKE_FWD_HH +#pragma once #include @@ -36,5 +35,3 @@ namespace spot typedef std::shared_ptr const_kripke_explicit_ptr; typedef std::shared_ptr kripke_explicit_ptr; } - -#endif // SPOT_KRIPKE_FWD_HH diff --git a/src/kripke/kripke.hh b/src/kripke/kripke.hh index 9e26a1d07..cf3b6dc3a 100644 --- a/src/kripke/kripke.hh +++ b/src/kripke/kripke.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_KRIPKE_KRIPKE_HH -# define SPOT_KRIPKE_KRIPKE_HH +#pragma once #include "fairkripke.hh" @@ -97,15 +96,11 @@ namespace spot { } - virtual ~kripke(); virtual acc_cond::mark_t state_acceptance_conditions(const state*) const; }; - typedef std::shared_ptr kripke_ptr; typedef std::shared_ptr const_kripke_ptr; } - -#endif // SPOT_KRIPKE_KRIPKE_HH diff --git a/src/kripke/kripkeexplicit.hh b/src/kripke/kripkeexplicit.hh index 370769225..af4c68e25 100644 --- a/src/kripke/kripkeexplicit.hh +++ b/src/kripke/kripkeexplicit.hh @@ -17,14 +17,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . +#pragma once -#ifndef SPOT_KRIPKE_KRIPKEEXPLICIT_HH -# define SPOT_KRIPKE_KRIPKEEXPLICIT_HH - -# include -# include "kripke.hh" -# include "ltlast/formula.hh" -# include "kripkeprint.hh" +#include +#include "kripke.hh" +#include "ltlast/formula.hh" +#include "kripkeprint.hh" namespace spot { @@ -185,4 +183,3 @@ namespace spot return std::make_shared(d, init); } } -#endif // SPOT_KRIPKE_KRIPKEEXPLICIT_HH diff --git a/src/kripke/kripkeprint.hh b/src/kripke/kripkeprint.hh index a9f401e96..0761ceb9c 100644 --- a/src/kripke/kripkeprint.hh +++ b/src/kripke/kripkeprint.hh @@ -17,13 +17,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . +#pragma once -#ifndef SPOT_KRIPKE_KRIPKEPRINT_HH -# define SPOT_KRIPKE_KRIPKEPRINT_HH - -# include "misc/common.hh" -# include -# include "kripke.hh" +#include "misc/common.hh" +#include +#include "kripke.hh" namespace spot { @@ -52,5 +50,3 @@ namespace spot kripke_save_reachable_renumbered(std::ostream& os, const const_kripke_ptr& k); } // End namespace spot - -#endif // SPOT_KRIPKE_KRIPKEPRINT_HH diff --git a/src/kripkeparse/parsedecl.hh b/src/kripkeparse/parsedecl.hh index 7ffc7f589..c609359c2 100644 --- a/src/kripkeparse/parsedecl.hh +++ b/src/kripkeparse/parsedecl.hh @@ -18,12 +18,11 @@ // along with this program. If not, see . -#ifndef SPOT_KRIPKEPARSE_PARSEDECL_HH -# define SPOT_KRIPKEPARSE_PARSEDECL_HH +#pragma once -# include -# include "kripkeparse.hh" -# include "misc/location.hh" +#include +#include "kripkeparse.hh" +#include "misc/location.hh" # define YY_DECL \ int kripkeyylex (kripkeyy::parser::semantic_type *yylval, \ @@ -36,5 +35,3 @@ namespace spot int kripkeyyopen(const std::string& name); void kripkeyyclose(); } - -#endif /* !PARSEDECL_HH_ */ diff --git a/src/kripkeparse/public.hh b/src/kripkeparse/public.hh index 1b6ea340f..798ae6a0e 100644 --- a/src/kripkeparse/public.hh +++ b/src/kripkeparse/public.hh @@ -17,17 +17,15 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . +#pragma once -#ifndef SPOT_KRIPKEPARSE_PUBLIC_HH -# define SPOT_KRIPKEPARSE_PUBLIC_HH - -# include "kripke/kripkeexplicit.hh" -# include "misc/location.hh" -# include "ltlenv/defaultenv.hh" -# include -# include -# include -# include +#include "kripke/kripkeexplicit.hh" +#include "misc/location.hh" +#include "ltlenv/defaultenv.hh" +#include +#include +#include +#include namespace spot { @@ -58,8 +56,4 @@ namespace spot bool format_kripke_parse_errors(std::ostream& os, const std::string& filename, kripke_parse_error_list& error_list); - } - - -#endif /* !SPOT_KRIPKEPARSE_PUBLIC_HH_ */ diff --git a/src/ltlast/allnodes.hh b/src/ltlast/allnodes.hh index 30c4bbcaa..7a7bb8279 100644 --- a/src/ltlast/allnodes.hh +++ b/src/ltlast/allnodes.hh @@ -26,14 +26,11 @@ /// This file is usually needed when \b defining a visitor. /// Prefer ltlast/predecl.hh when only \b declaring methods and functions /// over LTL nodes. -#ifndef SPOT_LTLAST_ALLNODES_HH -# define SPOT_LTLAST_ALLNODES_HH +#pragma once -# include "binop.hh" -# include "unop.hh" -# include "multop.hh" -# include "atomic_prop.hh" -# include "constant.hh" -# include "bunop.hh" - -#endif // SPOT_LTLAST_ALLNODES_HH +#include "binop.hh" +#include "unop.hh" +#include "multop.hh" +#include "atomic_prop.hh" +#include "constant.hh" +#include "bunop.hh" diff --git a/src/ltlast/atomic_prop.hh b/src/ltlast/atomic_prop.hh index c7714e8a5..d9d89783e 100644 --- a/src/ltlast/atomic_prop.hh +++ b/src/ltlast/atomic_prop.hh @@ -22,8 +22,7 @@ /// \file ltlast/atomic_prop.hh /// \brief LTL atomic propositions -#ifndef SPOT_LTLAST_ATOMIC_PROP_HH -# define SPOT_LTLAST_ATOMIC_PROP_HH +#pragma once #include "formula.hh" #include @@ -91,5 +90,3 @@ namespace spot } } } - -#endif // SPOT_LTLAST_ATOMICPROP_HH diff --git a/src/ltlast/binop.hh b/src/ltlast/binop.hh index 4fbd74aa7..3489bf5cc 100644 --- a/src/ltlast/binop.hh +++ b/src/ltlast/binop.hh @@ -25,8 +25,7 @@ /// /// This does not include \c AND and \c OR operators. These are /// considered to be multi-operand operators (see spot::ltl::multop). -#ifndef SPOT_LTLAST_BINOP_HH -# define SPOT_LTLAST_BINOP_HH +#pragma once #include "formula.hh" #include @@ -238,5 +237,3 @@ namespace spot } } } - -#endif // SPOT_LTLAST_BINOP_HH diff --git a/src/ltlast/bunop.hh b/src/ltlast/bunop.hh index 64bbb56f2..c8769b674 100644 --- a/src/ltlast/bunop.hh +++ b/src/ltlast/bunop.hh @@ -19,8 +19,7 @@ /// \file ltlast/bunop.hh /// \brief Bounded Unary operators -#ifndef SPOT_LTLAST_BUNOP_HH -# define SPOT_LTLAST_BUNOP_HH +#pragma once #include "formula.hh" #include @@ -215,4 +214,3 @@ namespace spot } } -#endif // SPOT_LTLAST_BUNOP_HH diff --git a/src/ltlast/constant.hh b/src/ltlast/constant.hh index 4081fd7f5..5642d98a3 100644 --- a/src/ltlast/constant.hh +++ b/src/ltlast/constant.hh @@ -20,8 +20,7 @@ /// \file ltlast/constant.hh /// \brief LTL constants -#ifndef SPOT_LTLAST_CONSTANT_HH -# define SPOT_LTLAST_CONSTANT_HH +#pragma once #include "formula.hh" @@ -85,5 +84,3 @@ namespace spot } } } - -#endif // SPOT_LTLAST_CONSTANT_HH diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh index 03f36d041..c42c513bd 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -20,8 +20,7 @@ /// \file ltlast/formula.hh /// \brief LTL formula interface -#ifndef SPOT_LTLAST_FORMULA_HH -# define SPOT_LTLAST_FORMULA_HH +#pragma once #include "misc/common.hh" #include @@ -533,5 +532,3 @@ namespace std }; } #endif - -#endif // SPOT_LTLAST_FORMULA_HH diff --git a/src/ltlast/multop.hh b/src/ltlast/multop.hh index f8772dc1c..213408517 100644 --- a/src/ltlast/multop.hh +++ b/src/ltlast/multop.hh @@ -22,8 +22,7 @@ /// \file ltlast/multop.hh /// \brief LTL multi-operand operators -#ifndef SPOT_LTLAST_MULTOP_HH -# define SPOT_LTLAST_MULTOP_HH +#pragma once #include "formula.hh" #include @@ -317,5 +316,3 @@ namespace spot } } } - -#endif // SPOT_LTLAST_MULTOP_HH diff --git a/src/ltlast/predecl.hh b/src/ltlast/predecl.hh index 26359e3e6..83eecdd5c 100644 --- a/src/ltlast/predecl.hh +++ b/src/ltlast/predecl.hh @@ -27,8 +27,7 @@ /// over LTL nodes. /// Use ltlast/allnodes.hh or an individual header when the definition of /// the node is actually needed. -#ifndef SPOT_LTLAST_PREDECL_HH -# define SPOT_LTLAST_PREDECL_HH +#pragma once namespace spot { @@ -45,5 +44,3 @@ namespace spot class unop; } } - -#endif // SPOT_LTLAST_PREDECL_HH diff --git a/src/ltlast/unop.hh b/src/ltlast/unop.hh index 993ab0fe9..b54aa1154 100644 --- a/src/ltlast/unop.hh +++ b/src/ltlast/unop.hh @@ -22,8 +22,7 @@ /// \file ltlast/unop.hh /// \brief LTL unary operators -#ifndef SPOT_LTLAST_UNOP_HH -# define SPOT_LTLAST_UNOP_HH +#pragma once #include #include @@ -217,5 +216,3 @@ namespace spot } } } - -#endif // SPOT_LTLAST_UNOP_HH diff --git a/src/ltlast/visitor.hh b/src/ltlast/visitor.hh index 9f8fbe952..71c7f2caf 100644 --- a/src/ltlast/visitor.hh +++ b/src/ltlast/visitor.hh @@ -22,11 +22,10 @@ /// \file ltlast/visitor.hh /// \brief LTL visitor interface -#ifndef SPOT_LTLAST_VISITOR_HH -# define SPOT_LTLAST_VISITOR_HH +#pragma once -# include "misc/common.hh" -# include "predecl.hh" +#include "misc/common.hh" +#include "predecl.hh" namespace spot { @@ -50,5 +49,3 @@ namespace spot }; } } - -#endif // SPOT_LTLAST_VISITOR_HH diff --git a/src/ltlenv/declenv.hh b/src/ltlenv/declenv.hh index addc82529..45420a6e7 100644 --- a/src/ltlenv/declenv.hh +++ b/src/ltlenv/declenv.hh @@ -20,13 +20,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLENV_DECLENV_HH -# define SPOT_LTLENV_DECLENV_HH +#pragma once -# include "environment.hh" -# include -# include -# include "ltlast/atomic_prop.hh" +#include "environment.hh" +#include +#include +#include "ltlast/atomic_prop.hh" namespace spot { @@ -63,5 +62,3 @@ namespace spot }; } } - -#endif // SPOT_LTLENV_DECLENV_HH diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh index 711e6db8a..f6e00c481 100644 --- a/src/ltlenv/defaultenv.hh +++ b/src/ltlenv/defaultenv.hh @@ -20,11 +20,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLENV_DEFAULTENV_HH -# define SPOT_LTLENV_DEFAULTENV_HH +#pragma once -# include "environment.hh" -# include "ltlast/atomic_prop.hh" +#include "environment.hh" +#include "ltlast/atomic_prop.hh" namespace spot { @@ -50,8 +49,5 @@ namespace spot protected: default_environment(); }; - } } - -#endif // SPOT_LTLENV_DEFAULTENV_HH diff --git a/src/ltlenv/environment.hh b/src/ltlenv/environment.hh index d3c6bd816..9b75468bf 100644 --- a/src/ltlenv/environment.hh +++ b/src/ltlenv/environment.hh @@ -20,11 +20,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLENV_ENVIRONMENT_HH -# define SPOT_LTLENV_ENVIRONMENT_HH +#pragma once -# include "ltlast/formula.hh" -# include +#include "ltlast/formula.hh" +#include namespace spot { @@ -65,5 +64,3 @@ namespace spot } } - -#endif // SPOT_LTLENV_ENVIRONMENT_HH diff --git a/src/ltlparse/parsedecl.hh b/src/ltlparse/parsedecl.hh index 9d3522464..7d599bf31 100644 --- a/src/ltlparse/parsedecl.hh +++ b/src/ltlparse/parsedecl.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLPARSE_PARSEDECL_HH -# define SPOT_LTLPARSE_PARSEDECL_HH +#pragma once #include "ltlparse.hh" #include "misc/location.hh" @@ -34,5 +33,3 @@ YY_DECL; void flex_set_buffer(const std::string& buf, int start_tok, bool lenient); void flex_unset_buffer(); - -#endif // SPOT_LTLPARSE_PARSEDECL_HH diff --git a/src/ltlparse/public.hh b/src/ltlparse/public.hh index 3f4e5a944..411d1df9a 100644 --- a/src/ltlparse/public.hh +++ b/src/ltlparse/public.hh @@ -20,16 +20,15 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLPARSE_PUBLIC_HH -# define SPOT_LTLPARSE_PUBLIC_HH +#pragma once -# include "ltlast/formula.hh" -# include "misc/location.hh" -# include "ltlenv/defaultenv.hh" -# include -# include -# include -# include +#include "ltlast/formula.hh" +#include "misc/location.hh" +#include "ltlenv/defaultenv.hh" +#include +#include +#include +#include namespace spot { @@ -217,5 +216,3 @@ namespace spot /// @} } } - -#endif // SPOT_LTLPARSE_PUBLIC_HH diff --git a/src/ltlvisit/apcollect.hh b/src/ltlvisit/apcollect.hh index 5abd46530..c80f05530 100644 --- a/src/ltlvisit/apcollect.hh +++ b/src/ltlvisit/apcollect.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_APCOLLECT_HH -# define SPOT_LTLVISIT_APCOLLECT_HH +#pragma once #include "ltlast/atomic_prop.hh" #include @@ -74,4 +73,3 @@ namespace spot /// @} } } -#endif diff --git a/src/ltlvisit/clone.hh b/src/ltlvisit/clone.hh index 96a50fe95..9918287fa 100644 --- a/src/ltlvisit/clone.hh +++ b/src/ltlvisit/clone.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_CLONE_HH -# define SPOT_LTLVISIT_CLONE_HH +#pragma once #include "ltlast/formula.hh" #include "ltlast/visitor.hh" @@ -59,5 +58,3 @@ namespace spot }; } } - -#endif // SPOT_LTLVISIT_LUNABBREV_HH diff --git a/src/ltlvisit/contain.hh b/src/ltlvisit/contain.hh index f165cb678..000ed413d 100644 --- a/src/ltlvisit/contain.hh +++ b/src/ltlvisit/contain.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_CONTAIN_HH -# define SPOT_LTLVISIT_CONTAIN_HH +#pragma once #include "ltlast/formula.hh" #include "tgbaalgos/ltl2tgba_fm.hh" @@ -81,5 +80,3 @@ namespace spot }; } } - -#endif // SPOT_LTLVISIT_CONTAIN_HH diff --git a/src/ltlvisit/dotty.hh b/src/ltlvisit/dotty.hh index a35eb79d7..6f5506fc2 100644 --- a/src/ltlvisit/dotty.hh +++ b/src/ltlvisit/dotty.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_DOTTY_HH -# define SPOT_LTLVISIT_DOTTY_HH +#pragma once #include #include @@ -41,5 +40,3 @@ namespace spot std::ostream& dotty(std::ostream& os, const formula* f); } } - -#endif // SPOT_LTLVISIT_DOTTY_HH diff --git a/src/ltlvisit/dump.hh b/src/ltlvisit/dump.hh index c6cdf20c1..ea60bab8d 100644 --- a/src/ltlvisit/dump.hh +++ b/src/ltlvisit/dump.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_DUMP_HH -# define SPOT_LTLVISIT_DUMP_HH +#pragma once #include "ltlast/formula.hh" #include @@ -40,5 +39,3 @@ namespace spot std::ostream& dump(std::ostream& os, const formula* f); } } - -#endif // SPOT_LTLVISIT_DUMP_HH diff --git a/src/ltlvisit/lbt.hh b/src/ltlvisit/lbt.hh index 8dfd39b33..ef4382085 100644 --- a/src/ltlvisit/lbt.hh +++ b/src/ltlvisit/lbt.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_LBT_HH -# define SPOT_LTLVISIT_LBT_HH +#pragma once #include #include @@ -58,5 +57,3 @@ namespace spot /// @} } } - -#endif // SPOT_LTLVISIT_TOSTRING_HH diff --git a/src/ltlvisit/length.hh b/src/ltlvisit/length.hh index fdb08e945..b509c9c1b 100644 --- a/src/ltlvisit/length.hh +++ b/src/ltlvisit/length.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_LENGTH_HH -# define SPOT_LTLVISIT_LENGTH_HH +#pragma once #include "ltlast/formula.hh" @@ -53,5 +52,3 @@ namespace spot int length_boolone(const formula* f); } } - -#endif // SPOT_LTLVISIT_LENGTH_HH diff --git a/src/ltlvisit/lunabbrev.hh b/src/ltlvisit/lunabbrev.hh index f56631685..278ee923c 100644 --- a/src/ltlvisit/lunabbrev.hh +++ b/src/ltlvisit/lunabbrev.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_LUNABBREV_HH -# define SPOT_LTLVISIT_LUNABBREV_HH +#pragma once #include "clone.hh" @@ -65,5 +64,3 @@ namespace spot } } - -#endif // SPOT_LTLVISIT_LUNABBREV_HH diff --git a/src/ltlvisit/mark.hh b/src/ltlvisit/mark.hh index a77786b91..0b3f1213b 100644 --- a/src/ltlvisit/mark.hh +++ b/src/ltlvisit/mark.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_MARK_HH -# define SPOT_LTLVISIT_MARK_HH +#pragma once #include "ltlast/formula.hh" #include "ltlast/visitor.hh" @@ -53,5 +52,3 @@ namespace spot } } - -#endif // SPOT_LTLVISIT_MARK_HH diff --git a/src/ltlvisit/mutation.hh b/src/ltlvisit/mutation.hh index 469749840..29e27eb0e 100644 --- a/src/ltlvisit/mutation.hh +++ b/src/ltlvisit/mutation.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_MUTATION_HH -# define SPOT_LTLVISIT_MUTATION_HH +#pragma once #include "ltlast/formula.hh" #include @@ -48,4 +47,3 @@ namespace spot bool sort = true); } } -#endif diff --git a/src/ltlvisit/nenoform.hh b/src/ltlvisit/nenoform.hh index 5a13cde8d..2948e53be 100644 --- a/src/ltlvisit/nenoform.hh +++ b/src/ltlvisit/nenoform.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_NENOFORM_HH -# define SPOT_LTLVISIT_NENOFORM_HH +#pragma once #include "ltlast/formula.hh" @@ -48,5 +47,3 @@ namespace spot negative_normal_form(const formula* f, bool negated = false); } } - -#endif // SPOT_LTLVISIT_NENOFORM_HH diff --git a/src/ltlvisit/postfix.hh b/src/ltlvisit/postfix.hh index 6d5eec16c..07b9fa97c 100644 --- a/src/ltlvisit/postfix.hh +++ b/src/ltlvisit/postfix.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_POSTFIX_HH -# define SPOT_LTLVISIT_POSTFIX_HH +#pragma once #include "ltlast/formula.hh" #include "ltlast/visitor.hh" @@ -59,5 +58,3 @@ namespace spot }; } } - -#endif // SPOT_LTLVISIT_POSTFIX_HH diff --git a/src/ltlvisit/randomltl.hh b/src/ltlvisit/randomltl.hh index cc0e50691..37774196c 100644 --- a/src/ltlvisit/randomltl.hh +++ b/src/ltlvisit/randomltl.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_RANDOMLTL_HH -# define SPOT_LTLVISIT_RANDOMLTL_HH +#pragma once #include "apcollect.hh" #include @@ -354,4 +353,3 @@ namespace spot }; } } -#endif // SPOT_LTLVIST_RANDOMLTL_HH diff --git a/src/ltlvisit/relabel.hh b/src/ltlvisit/relabel.hh index 8b33da9da..6b996a51a 100644 --- a/src/ltlvisit/relabel.hh +++ b/src/ltlvisit/relabel.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_RELABEL_HH -# define SPOT_LTLVISIT_RELABEL_HH +#pragma once #include "ltlast/formula.hh" #include "misc/hash.hh" @@ -60,10 +59,5 @@ namespace spot SPOT_API const formula* relabel_bse(const formula* f, relabeling_style style, relabeling_map* m = 0); - } } - - - -#endif // SPOT_LTLVISIT_RELABEL_HH diff --git a/src/ltlvisit/remove_x.hh b/src/ltlvisit/remove_x.hh index 87a0b243b..5e52c560a 100644 --- a/src/ltlvisit/remove_x.hh +++ b/src/ltlvisit/remove_x.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_REMOVE_X_HH -# define SPOT_LTLVISIT_REMOVE_X_HH +#pragma once -# include "misc/common.hh" +#include "misc/common.hh" namespace spot { @@ -50,5 +49,3 @@ namespace spot const formula* remove_x(const formula* f); } } - -#endif // SPOT_LTLVISIT_ETESSAMI00_HH diff --git a/src/ltlvisit/simpfg.hh b/src/ltlvisit/simpfg.hh index ea6685702..20bc65e19 100644 --- a/src/ltlvisit/simpfg.hh +++ b/src/ltlvisit/simpfg.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_SIMPFG_HH -# define SPOT_LTLVISIT_SIMPFG_HH +#pragma once #include "clone.hh" @@ -67,5 +66,3 @@ namespace spot SPOT_API const formula* simplify_f_g(const formula* f); } } - -#endif // SPOT_LTLVISIT_LUNABBREV_HH diff --git a/src/ltlvisit/simplify.hh b/src/ltlvisit/simplify.hh index 5a6bcfe6c..5fe451f35 100644 --- a/src/ltlvisit/simplify.hh +++ b/src/ltlvisit/simplify.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_SIMPLIFY_HH -# define SPOT_LTLVISIT_SIMPLIFY_HH +#pragma once #include "ltlast/formula.hh" #include @@ -202,7 +201,4 @@ namespace spot void operator=(const ltl_simplifier&) SPOT_DELETED; }; } - } - -#endif // SPOT_LTLVISIT_SIMPLIFY_HH diff --git a/src/ltlvisit/snf.hh b/src/ltlvisit/snf.hh index 0b868e3a3..acf714f7b 100644 --- a/src/ltlvisit/snf.hh +++ b/src/ltlvisit/snf.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_SNF_HH -#define SPOT_LTLVISIT_SNF_HH +#pragma once #include "ltlast/formula.hh" #include "misc/hash.hh" @@ -58,5 +57,3 @@ namespace spot star_normal_form_bounded(const formula* sere, snf_cache* cache = 0); } } - -#endif // SPOT_LTLVISIT_SNF_HH diff --git a/src/ltlvisit/tostring.hh b/src/ltlvisit/tostring.hh index c8a270f2d..5f7a7603c 100644 --- a/src/ltlvisit/tostring.hh +++ b/src/ltlvisit/tostring.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_TOSTRING_HH -# define SPOT_LTLVISIT_TOSTRING_HH +#pragma once #include #include @@ -147,5 +146,3 @@ namespace spot /// @} } } - -#endif // SPOT_LTLVISIT_TOSTRING_HH diff --git a/src/ltlvisit/tunabbrev.hh b/src/ltlvisit/tunabbrev.hh index a3b739033..c22d68cee 100644 --- a/src/ltlvisit/tunabbrev.hh +++ b/src/ltlvisit/tunabbrev.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_TUNABBREV_HH -# define SPOT_LTLVISIT_TUNABBREV_HH +#pragma once #include "ltlast/formula.hh" #include "ltlvisit/lunabbrev.hh" @@ -68,5 +67,3 @@ namespace spot SPOT_API const formula* unabbreviate_ltl(const formula* f); } } - -#endif // SPOT_LTLVISIT_TUNABBREV_HH diff --git a/src/ltlvisit/wmunabbrev.hh b/src/ltlvisit/wmunabbrev.hh index 49fd737b5..6f755df85 100644 --- a/src/ltlvisit/wmunabbrev.hh +++ b/src/ltlvisit/wmunabbrev.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_LTLVISIT_WMUNABBREV_HH -# define SPOT_LTLVISIT_WMUNABBREV_HH +#pragma once -# include "misc/common.hh" +#include "misc/common.hh" namespace spot { @@ -40,5 +39,3 @@ namespace spot SPOT_API const formula* unabbreviate_wm(const formula* f); } } - -#endif // SPOT_LTLVISIT_WMUNABBREV_HH diff --git a/src/misc/bareword.hh b/src/misc/bareword.hh index d5bbefc4e..5c9b966c3 100644 --- a/src/misc/bareword.hh +++ b/src/misc/bareword.hh @@ -20,11 +20,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_BAREWORD_HH -# define SPOT_MISC_BAREWORD_HH +#pragma once -# include "common.hh" -# include +#include "common.hh" +#include namespace spot { @@ -49,5 +48,3 @@ namespace spot SPOT_API bool is_spin_ap(const char* str); /// @} } - -#endif // SPOT_MISC_BAREWORD_HH diff --git a/src/misc/bddlt.hh b/src/misc/bddlt.hh index b1c92e332..ee547024d 100644 --- a/src/misc/bddlt.hh +++ b/src/misc/bddlt.hh @@ -20,11 +20,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_BDDLT_HH -# define SPOT_MISC_BDDLT_HH +#pragma once -# include -# include +#include +#include namespace spot { @@ -51,7 +50,4 @@ namespace spot return b.id(); } }; - } - -#endif // SPOT_MISC_BDDLT_HH diff --git a/src/misc/bitvect.hh b/src/misc/bitvect.hh index 43612d056..af38c11a7 100644 --- a/src/misc/bitvect.hh +++ b/src/misc/bitvect.hh @@ -17,16 +17,15 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_BITVECT_HH -# define SPOT_MISC_BITVECT_HH +#pragma once -# include "common.hh" -# include -# include -# include -# include -# include -# include +#include "common.hh" +#include +#include +#include +#include +#include +#include namespace spot { @@ -533,6 +532,3 @@ namespace spot /// @} } - - -#endif // SPOT_MISC_BITVECT_HH diff --git a/src/misc/casts.hh b/src/misc/casts.hh index ec251cac2..49c441843 100644 --- a/src/misc/casts.hh +++ b/src/misc/casts.hh @@ -17,9 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_CASTS_HH -# define SPOT_MISC_CASTS_HH - +#pragma once // We usually write code like // subclass* i = down_cast(m); @@ -35,5 +33,3 @@ #else # define down_cast dynamic_cast #endif - -#endif // SPOT_MISC_CASTS_HH diff --git a/src/misc/common.hh b/src/misc/common.hh index 76c2a1b98..07a42e0c9 100644 --- a/src/misc/common.hh +++ b/src/misc/common.hh @@ -20,8 +20,7 @@ #include #include -#ifndef SPOT_MISC_COMMON_HH -# define SPOT_MISC_COMMON_HH +#pragma once #ifdef __GNUC__ #define SPOT_LIKELY(expr) __builtin_expect(!!(expr), 1) @@ -110,5 +109,3 @@ // Useful when forwarding methods such as: // auto func(int param) SPOT_RETURN(implem_.func(param)); #define SPOT_RETURN(code) -> decltype(code) { return code; } - -#endif // SPOT_MISC_COMMON_HH diff --git a/src/misc/escape.hh b/src/misc/escape.hh index d28c55639..56229c640 100644 --- a/src/misc/escape.hh +++ b/src/misc/escape.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_ESCAPE_HH -# define SPOT_MISC_ESCAPE_HH +#pragma once -# include "common.hh" -# include -# include +#include "common.hh" +#include +#include namespace spot { @@ -68,5 +67,3 @@ namespace spot trim(std::string& str); /// @} } - -#endif // SPOT_MISC_ESCAPE_HH diff --git a/src/misc/fixpool.hh b/src/misc/fixpool.hh index 98e320528..70ae91176 100644 --- a/src/misc/fixpool.hh +++ b/src/misc/fixpool.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_FIXPOOL_HH -# define SPOT_MISC_FIXPOOL_HH +#pragma once #include #include @@ -109,7 +108,4 @@ namespace spot // chunk = several agglomerated blocks union chunk_ { chunk_* prev; char data_[1]; }* chunklist_; }; - } - -#endif // SPOT_MISC_FIXPOOL_HH diff --git a/src/misc/formater.hh b/src/misc/formater.hh index 3d138609f..07494ee01 100644 --- a/src/misc/formater.hh +++ b/src/misc/formater.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_FORMATER_HH -#define SPOT_MISC_FORMATER_HH +#pragma once #include "common.hh" #include @@ -198,7 +197,4 @@ namespace spot protected: std::ostream* output_; }; - } - -#endif // SPOT_MISC_FORMATER_HH diff --git a/src/misc/hash.hh b/src/misc/hash.hh index e789c995c..0d64a57a5 100644 --- a/src/misc/hash.hh +++ b/src/misc/hash.hh @@ -20,16 +20,15 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_HASH_HH -# define SPOT_MISC_HASH_HH +#pragma once -# include -# include -# include "misc/hashfunc.hh" -# include "misc/_config.h" +#include +#include +#include "misc/hashfunc.hh" +#include "misc/_config.h" -# include -# include +#include +#include namespace spot { @@ -89,7 +88,4 @@ namespace spot static_cast(uh(p.second))); } }; - } - -#endif // SPOT_MISC_HASH_HH diff --git a/src/misc/hashfunc.hh b/src/misc/hashfunc.hh index d6a84fd30..fe7c8ac98 100644 --- a/src/misc/hashfunc.hh +++ b/src/misc/hashfunc.hh @@ -20,9 +20,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_HASHFUNC_HH -# define SPOT_MISC_HASHFUNC_HH -# include +#pragma once + +#include namespace spot { @@ -62,5 +62,3 @@ namespace spot } /// @} } - -#endif // SPOT_MISC_HASHFUNC_HH diff --git a/src/misc/intvcmp2.hh b/src/misc/intvcmp2.hh index 3844904de..aea51d8b5 100644 --- a/src/misc/intvcmp2.hh +++ b/src/misc/intvcmp2.hh @@ -17,12 +17,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_INTVCMP2_HH -# define SPOT_MISC_INTVCMP2_HH +#pragma once -# include "common.hh" -# include -# include +#include "common.hh" +#include +#include namespace spot { @@ -49,5 +48,3 @@ namespace spot /// @} } - -#endif // SPOT_MISC_INTVCMP2_HH diff --git a/src/misc/intvcomp.hh b/src/misc/intvcomp.hh index 1c00f2af9..240caad5e 100644 --- a/src/misc/intvcomp.hh +++ b/src/misc/intvcomp.hh @@ -17,12 +17,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_INTVCOMP_HH -# define SPOT_MISC_INTVCOMP_HH +#pragma once -# include "common.hh" -# include -# include +#include "common.hh" +#include +#include namespace spot { @@ -74,5 +73,3 @@ namespace spot /// @} } - -#endif // SPOT_MISC_INTVCOMP_HH diff --git a/src/misc/location.hh b/src/misc/location.hh index 884c3949a..8ce58ddb5 100644 --- a/src/misc/location.hh +++ b/src/misc/location.hh @@ -33,10 +33,9 @@ This special exception was added by the Free Software Foundation in version 2.2 of Bison. */ -#ifndef SPOT_MISC_LOCATION_HH -# define SPOT_MISC_LOCATION_HH +#pragma once -# include "position.hh" +#include "position.hh" namespace spot { @@ -168,5 +167,3 @@ namespace spot return ostr; } } - -#endif // SPOT_MISC_LOCATION_HH diff --git a/src/misc/ltstr.hh b/src/misc/ltstr.hh index ac5b40ae3..25b561b3b 100644 --- a/src/misc/ltstr.hh +++ b/src/misc/ltstr.hh @@ -20,11 +20,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_LTSTR_HH -# define SPOT_MISC_LTSTR_HH +#pragma once -# include -# include +#include +#include namespace spot { @@ -50,5 +49,3 @@ namespace spot } }; } - -#endif // SPOT_MISC_LTSTR_HH diff --git a/src/misc/memusage.hh b/src/misc/memusage.hh index d379c8323..b6d66d266 100644 --- a/src/misc/memusage.hh +++ b/src/misc/memusage.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_MEMUSAGE_HH -# define SPOT_MISC_MEMUSAGE_HH +#pragma once #include "common.hh" @@ -33,5 +32,3 @@ namespace spot /// -1 otherwise. SPOT_API int memusage(); } - -#endif // SPOT_MISC_MEMUSAGE_HH diff --git a/src/misc/minato.hh b/src/misc/minato.hh index ad9e4dd00..9d80fcba5 100644 --- a/src/misc/minato.hh +++ b/src/misc/minato.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_MINATO_HH -# define SPOT_MISC_MINATO_HH +#pragma once -# include "common.hh" -# include -# include +#include "common.hh" +#include +#include namespace spot { @@ -92,5 +91,3 @@ namespace spot bdd ret_; }; } - -#endif // SPOT_MISC_MINATO_HH diff --git a/src/misc/mspool.hh b/src/misc/mspool.hh index 34d64e9e2..c8da80d4f 100644 --- a/src/misc/mspool.hh +++ b/src/misc/mspool.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_MSPOOL_HH -# define SPOT_MISC_MSPOOL_HH +#pragma once #include #include @@ -124,7 +123,4 @@ namespace spot // chunk = several agglomerated blocks union chunk_ { chunk_* prev; char data_[1]; }* chunklist_; }; - } - -#endif // SPOT_MISC_INTVPOOL_HH diff --git a/src/misc/optionmap.hh b/src/misc/optionmap.hh index a63332031..90bfd4678 100644 --- a/src/misc/optionmap.hh +++ b/src/misc/optionmap.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_OPTIONMAP_HH -# define SPOT_MISC_OPTIONMAP_HH +#pragma once #include "common.hh" #include @@ -87,5 +86,3 @@ namespace spot std::map options_; }; } - -#endif // SPOT_MISC_OPTIONMAP_HH diff --git a/src/misc/position.hh b/src/misc/position.hh index 98ba6e7b8..f25da803c 100644 --- a/src/misc/position.hh +++ b/src/misc/position.hh @@ -33,20 +33,19 @@ This special exception was added by the Free Software Foundation in version 2.2 of Bison. */ -#ifndef SPOT_MISC_POSITION_HH -# define SPOT_MISC_POSITION_HH +#pragma once -# include // std::max -# include -# include +#include // std::max +#include +#include -# ifndef YY_NULL -# if defined __cplusplus && 201103L <= __cplusplus -# define YY_NULL nullptr -# else -# define YY_NULL 0 -# endif +#ifndef YY_NULL +# if defined __cplusplus && 201103L <= __cplusplus +# define YY_NULL nullptr +# else +# define YY_NULL 0 # endif +#endif namespace spot @@ -162,8 +161,4 @@ namespace spot ostr << *pos.filename << ':'; return ostr << pos.line << '.' << pos.column; } - - } - -#endif // SPOT_MISC_POSITION_HH diff --git a/src/misc/random.hh b/src/misc/random.hh index de121639c..ac820cebe 100644 --- a/src/misc/random.hh +++ b/src/misc/random.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_RANDOM_HH -# define SPOT_MISC_RANDOM_HH +#pragma once -# include "common.hh" -# include -# include +#include "common.hh" +#include +#include namespace spot { @@ -137,5 +136,3 @@ namespace spot } /// @} } - -#endif // SPOT_MISC_RANDOM_HH diff --git a/src/misc/satsolver.hh b/src/misc/satsolver.hh index 43aba9535..a2e223ca5 100644 --- a/src/misc/satsolver.hh +++ b/src/misc/satsolver.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_SATSOLVER_HH -#define SPOT_MISC_SATSOLVER_HH +#pragma once #include "common.hh" #include "tmpfile.hh" @@ -99,5 +98,3 @@ namespace spot SPOT_API satsolver::solution satsolver_get_solution(const char* filename); } - -#endif // SPOT_MISC_SATSOLVER_HH diff --git a/src/misc/timer.hh b/src/misc/timer.hh index 8e4c1e61c..9e124eb55 100644 --- a/src/misc/timer.hh +++ b/src/misc/timer.hh @@ -20,20 +20,19 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_TIMER_HH -# define SPOT_MISC_TIMER_HH +#pragma once -# include "common.hh" -# include "misc/_config.h" -# include -# include -# include -# include -# include -# if SPOT_HAVE_SYS_TIMES_H -# include -# endif -# include +#include "common.hh" +#include "misc/_config.h" +#include +#include +#include +#include +#include +#if SPOT_HAVE_SYS_TIMES_H +# include +#endif +#include namespace spot @@ -247,5 +246,3 @@ namespace spot /// @} } - -#endif // SPOT_MISC_TIMER_HH diff --git a/src/misc/tmpfile.hh b/src/misc/tmpfile.hh index a170b0a4b..0fc3121b1 100644 --- a/src/misc/tmpfile.hh +++ b/src/misc/tmpfile.hh @@ -17,15 +17,14 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_TMPFILE_HH -# define SPOT_MISC_TMPFILE_HH +#pragma once -# include "common.hh" -# include -# include -# include -# include -# include "formater.hh" +#include "common.hh" +#include +#include +#include +#include +#include "formater.hh" namespace spot { @@ -138,6 +137,3 @@ namespace spot /// @} } - - -#endif // SPOT_MISC_TMPFILE_HH diff --git a/src/misc/version.hh b/src/misc/version.hh index de3f6d2d6..c0b81d233 100644 --- a/src/misc/version.hh +++ b/src/misc/version.hh @@ -20,10 +20,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_MISC_VERSION_HH -# define SPOT_MISC_VERSION_HH +#pragma once -# include "common.hh" +#include "common.hh" namespace spot { @@ -31,5 +30,3 @@ namespace spot /// \brief Return Spot's version. SPOT_API const char* version(); } - -#endif // SPOT_MISC_VERSION_HH diff --git a/src/priv/accmap.hh b/src/priv/accmap.hh index b053451fe..37e6500b6 100644 --- a/src/priv/accmap.hh +++ b/src/priv/accmap.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_PRIV_ACCMAP_HH -# define SPOT_PRIV_ACCMAP_HH +#pragma once #include #include "misc/hash.hh" @@ -118,5 +117,3 @@ namespace spot } }; } - -#endif // SPOT_PRIV_ACCCONV_HH diff --git a/src/priv/bddalloc.hh b/src/priv/bddalloc.hh index 58a7737ad..1b201038f 100644 --- a/src/priv/bddalloc.hh +++ b/src/priv/bddalloc.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_PRIV_BDDALLOC_HH -# define SPOT_PRIV_BDDALLOC_HH +#pragma once #include "freelist.hh" #include @@ -52,7 +51,4 @@ namespace spot void extvarnum(int more); virtual int extend(int n); }; - } - -#endif // SPOT_PRIV_BDDALLOC_HH diff --git a/src/priv/freelist.hh b/src/priv/freelist.hh index f792378ff..334c7201f 100644 --- a/src/priv/freelist.hh +++ b/src/priv/freelist.hh @@ -20,9 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . - -#ifndef SPOT_PRIV_FREELIST_HH -# define SPOT_PRIV_FREELIST_HH +#pragma once #include #include @@ -79,7 +77,4 @@ namespace spot /// Remove \a n consecutive entries from the list, starting at \a base. void remove(free_list_type::iterator i, int base, int n); }; - } - -#endif // SPOT_PRIV_FREELIST_HH diff --git a/src/sanity/includes.test b/src/sanity/includes.test index 1bdf5b69b..ec6ddfdf4 100755 --- a/src/sanity/includes.test +++ b/src/sanity/includes.test @@ -34,14 +34,13 @@ for file in `find "$INCDIR" \( -name "${1-*}.hh" \ -o -name "${1-*}.hxx" \) \ -a -type f -a -print | sed "s,$INCDIR/,,g"`; do - b=`echo "$file" | tr '[/.a-z]' '[__A-Z]'` - if grep "[ ]*#.*def.* SPOT_$b\$" "$INCDIR/$file" >/dev/null; then + if head -n 100 "$INCDIR/$file" | grep -q "[ ]*#.*pragma.* once\$"; then : - elif grep 'GNU Bison 2\.6' "$INCDIR/$file" >/dev/null; then + elif grep -q 'GNU Bison 2\.6' "$INCDIR/$file"; then # Bison 2.6, 2.6.1, 2.6.2 have a bug where position.hh # include instead of . continue - elif grep 'GNU Bison' "$INCDIR/$file" >/dev/null; then + elif grep -q 'GNU Bison' "$INCDIR/$file"; then : else echo "Missing, or incorrect include guard." >&2 @@ -49,24 +48,7 @@ for file in `find "$INCDIR" \( -name "${1-*}.hh" \ echo " $file" >> failures continue fi - - cat >incltest.cc < -#include <$file> -EOF - - case $file in - *bin/*) MOREFLAGS="-I $TOPBUILD/lib/ -I $INCDIR/../lib/ -I $TOPBUILD";; - *) MOREFLAGS=;; - esac - - if $CXX $MOREFLAGS $CPPFLAGS -DSKIP_DEPRECATED_WARNING $CXXFLAGS -c incltest.cc; then - echo "PASS: $file" - else - echo "FAIL: $file" - echo " $file" >> failures - fi + echo "PASS: $file" done if test -f failures; then diff --git a/src/ta/ta.hh b/src/ta/ta.hh index 553bfacf5..83d881a9e 100644 --- a/src/ta/ta.hh +++ b/src/ta/ta.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TA_HH -# define SPOT_TA_TA_HH +#pragma once #include @@ -296,8 +295,4 @@ namespace spot /// \addtogroup ta_misc Miscellaneous algorithms on TA /// \ingroup ta_algorithms - - } - -#endif // SPOT_TA_TA_HH diff --git a/src/ta/taexplicit.hh b/src/ta/taexplicit.hh index 02c57e326..c4524696b 100644 --- a/src/ta/taexplicit.hh +++ b/src/ta/taexplicit.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TAEXPLICIT_HH -# define SPOT_TA_TAEXPLICIT_HH +#pragma once #include "misc/hash.hh" #include @@ -260,7 +259,4 @@ namespace spot { return std::make_shared(tgba, n_acc, artificial_initial_state); } - } - -#endif // SPOT_TA_TAEXPLICIT_HH diff --git a/src/ta/taproduct.hh b/src/ta/taproduct.hh index f45e383f1..df4b644c0 100644 --- a/src/ta/taproduct.hh +++ b/src/ta/taproduct.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TAPRODUCT_HH -# define SPOT_TA_TAPRODUCT_HH +#pragma once #include "ta.hh" #include "kripke/kripke.hh" @@ -219,7 +218,4 @@ namespace spot /// \brief Move to the next successor in the Kripke structure void next_kripke_dest(); }; - } - -#endif // SPOT_TA_TAPRODUCT_HH diff --git a/src/ta/tgta.hh b/src/ta/tgta.hh index 90c29ff87..ecabd8c9b 100644 --- a/src/ta/tgta.hh +++ b/src/ta/tgta.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TGTA_HH -# define SPOT_TA_TGTA_HH +#pragma once #include "tgba/tgba.hh" @@ -57,7 +56,6 @@ namespace spot /// obtained by querying the iterator over the successors of /// a state. - class SPOT_API tgta : public tgba { @@ -83,5 +81,3 @@ namespace spot typedef std::shared_ptr tgta_ptr; typedef std::shared_ptr const_tgta_ptr; } - -#endif // SPOT_TA_TGTA_HH diff --git a/src/ta/tgtaexplicit.hh b/src/ta/tgtaexplicit.hh index 30370c279..87e0627f8 100644 --- a/src/ta/tgtaexplicit.hh +++ b/src/ta/tgtaexplicit.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TGTAEXPLICIT_HH -# define SPOT_TA_TGTAEXPLICIT_HH +#pragma once #include "misc/hash.hh" #include @@ -76,5 +75,3 @@ namespace spot artificial_initial_state); } } - -#endif // SPOT_TA_TGTAEXPLICIT_HH diff --git a/src/ta/tgtaproduct.hh b/src/ta/tgtaproduct.hh index 1f50903c9..b91b9125c 100644 --- a/src/ta/tgtaproduct.hh +++ b/src/ta/tgtaproduct.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TA_TGTAPRODUCT_HH -# define SPOT_TA_TGTAPRODUCT_HH +#pragma once #include "tgba/tgba.hh" #include "tgba/tgbaproduct.hh" @@ -100,7 +99,4 @@ namespace spot bdd kripke_source_condition; state* kripke_current_dest_state; }; - } - -#endif // SPOT_TA_TGTAPRODUCT_HH diff --git a/src/taalgos/dotty.hh b/src/taalgos/dotty.hh index c8ef3f7f5..f66faaefa 100644 --- a/src/taalgos/dotty.hh +++ b/src/taalgos/dotty.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_DOTTY_HH -# define SPOT_TAALGOS_DOTTY_HH +#pragma once #include "ta/ta.hh" #include @@ -28,5 +27,3 @@ namespace spot SPOT_API std::ostream& dotty_reachable(std::ostream& os, const const_ta_ptr& a); } - -#endif // SPOT_TAALGOS_DOTTY_HH diff --git a/src/taalgos/emptinessta.hh b/src/taalgos/emptinessta.hh index 121cc6012..fcae4dd22 100644 --- a/src/taalgos/emptinessta.hh +++ b/src/taalgos/emptinessta.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_EMPTINESSTA_HH -# define SPOT_TAALGOS_EMPTINESSTA_HH +#pragma once #include "ta/taproduct.hh" #include "misc/optionmap.hh" @@ -160,5 +159,3 @@ namespace spot /// \addtogroup ta_emptiness_check_algorithms Emptiness-check algorithms /// \ingroup ta_emptiness_check } - -#endif // SPOT_TAALGOS_EMPTINESSTA_HH diff --git a/src/taalgos/minimize.hh b/src/taalgos/minimize.hh index 25e7d29ec..42dac70b8 100644 --- a/src/taalgos/minimize.hh +++ b/src/taalgos/minimize.hh @@ -17,12 +17,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_MINIMIZE_HH -# define SPOT_TAALGOS_MINIMIZE_HH +#pragma once -# include "ta/ta.hh" -# include "ta/tgta.hh" -# include "ta/tgtaexplicit.hh" +#include "ta/ta.hh" +#include "ta/tgta.hh" +#include "ta/tgtaexplicit.hh" namespace spot { @@ -75,5 +74,3 @@ namespace spot /// @} } - -#endif /* !SPOT_TAALGOS_MINIMIZE_HH */ diff --git a/src/taalgos/reachiter.hh b/src/taalgos/reachiter.hh index 3a0ed7a7d..f092c2148 100644 --- a/src/taalgos/reachiter.hh +++ b/src/taalgos/reachiter.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_REACHITER_HH -# define SPOT_TAALGOS_REACHITER_HH +#pragma once #include "misc/hash.hh" #include "ta/ta.hh" @@ -129,7 +128,4 @@ namespace spot protected: std::deque todo; ///< A queue of states yet to explore. }; - } - -#endif // SPOT_TAALGOS_REACHITER_HH diff --git a/src/taalgos/statessetbuilder.hh b/src/taalgos/statessetbuilder.hh index c516a9a07..3b9a7aaf7 100644 --- a/src/taalgos/statessetbuilder.hh +++ b/src/taalgos/statessetbuilder.hh @@ -17,18 +17,14 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_STATESSETBUILDER_HH -# define SPOT_TAALGOS_STATESSETBUILDER_HH +#pragma once #include "ta/ta.hh" namespace spot { - /// \brief Compute states set for an automaton. SPOT_API std::set get_states_set(const const_ta_ptr& t); /// @} } - -#endif // SPOT_TAALGOS_STATESSETBUILDER_HH diff --git a/src/taalgos/stats.hh b/src/taalgos/stats.hh index 0f2fb387c..a26d7469b 100644 --- a/src/taalgos/stats.hh +++ b/src/taalgos/stats.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_STATS_HH -# define SPOT_TAALGOS_STATS_HH +#pragma once #include "ta/ta.hh" #include @@ -43,5 +42,3 @@ namespace spot /// @} } - -#endif // SPOT_TAALGOS_STATS_HH diff --git a/src/taalgos/tgba2ta.hh b/src/taalgos/tgba2ta.hh index 2b9ee7bcf..9bf23d607 100644 --- a/src/taalgos/tgba2ta.hh +++ b/src/taalgos/tgba2ta.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TAALGOS_TGBA2TA_HH -# define SPOT_TAALGOS_TGBA2TA_HH +#pragma once #include "tgba/tgba.hh" #include "ta/taexplicit.hh" @@ -98,7 +97,4 @@ namespace spot SPOT_API tgta_explicit_ptr tgba_to_tgta(const const_tgba_ptr& tgba_to_convert, bdd atomic_propositions_set); - } - -#endif // SPOT_TAALGOS_TGBA2TA_HH diff --git a/src/tgba/acc.hh b/src/tgba/acc.hh index 70a576212..96bd6cfc9 100644 --- a/src/tgba/acc.hh +++ b/src/tgba/acc.hh @@ -17,15 +17,14 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_ACC_HH -# define SPOT_TGBA_ACC_HH +#pragma once -# include -# include -# include -# include -# include "ltlenv/defaultenv.hh" -# include +#include +#include +#include +#include +#include "ltlenv/defaultenv.hh" +#include namespace spot { @@ -949,5 +948,3 @@ namespace std } }; } - -#endif // SPOT_TGBA_ACC_HH diff --git a/src/tgba/bdddict.hh b/src/tgba/bdddict.hh index 921fc9ca1..f9e7faf28 100644 --- a/src/tgba/bdddict.hh +++ b/src/tgba/bdddict.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_BDDDICT_HH -# define SPOT_TGBA_BDDDICT_HH +#pragma once #include #include @@ -340,5 +339,3 @@ namespace spot return std::make_shared(); } } - -#endif // SPOT_TGBA_BDDDICT_HH diff --git a/src/tgba/bddprint.hh b/src/tgba/bddprint.hh index 099e8dc3c..28e7c5360 100644 --- a/src/tgba/bddprint.hh +++ b/src/tgba/bddprint.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_BDDPRINT_HH -# define SPOT_TGBA_BDDPRINT_HH +#pragma once #include #include @@ -138,7 +137,4 @@ namespace spot /// \param b The BDD to print. SPOT_API std::ostream& bdd_print_isop(std::ostream& os, const bdd_dict_ptr& dict, bdd b); - } - -#endif // SPOT_TGBA_BDDPRINT_HH diff --git a/src/tgba/formula2bdd.hh b/src/tgba/formula2bdd.hh index ca93b485c..6a51b43d0 100644 --- a/src/tgba/formula2bdd.hh +++ b/src/tgba/formula2bdd.hh @@ -20,10 +20,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_FORMULA2BDD_HH -# define SPOT_TGBA_FORMULA2BDD_HH +#pragma once -# include "bdddict.hh" +#include "bdddict.hh" namespace spot { @@ -62,5 +61,3 @@ namespace spot SPOT_API const ltl::formula* bdd_to_formula(bdd f, const bdd_dict_ptr d); } - -#endif // SPOT_TGBA_FORMULA2BDD_HH diff --git a/src/tgba/fwd.hh b/src/tgba/fwd.hh index 72bcbaac4..5388acadc 100644 --- a/src/tgba/fwd.hh +++ b/src/tgba/fwd.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_FWD_HH -# define SPOT_TGBA_FWD_HH +#pragma once #include @@ -36,5 +35,3 @@ namespace spot typedef std::shared_ptr const_tgba_product_ptr; typedef std::shared_ptr tgba_product_ptr; } - -#endif // SPOT_TGBA_FWD_HH diff --git a/src/tgba/taatgba.hh b/src/tgba/taatgba.hh index f61ad0b50..1c93698b0 100644 --- a/src/tgba/taatgba.hh +++ b/src/tgba/taatgba.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TAATGBA_HH -# define SPOT_TGBA_TAATGBA_HH +#pragma once #include #include @@ -353,7 +352,4 @@ namespace spot { return std::make_shared(dict); } - } - -#endif // SPOT_TGBA_TAATGBA_HH diff --git a/src/tgba/tgba.hh b/src/tgba/tgba.hh index 14c616375..aab3ded25 100644 --- a/src/tgba/tgba.hh +++ b/src/tgba/tgba.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBA_HH -# define SPOT_TGBA_TGBA_HH +#pragma once #include "fwd.hh" #include "acc.hh" @@ -860,5 +859,3 @@ namespace spot /// \addtogroup tgba_misc Miscellaneous algorithms on TGBA /// \ingroup tgba_algorithms } - -#endif // SPOT_TGBA_TGBA_HH diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh index 321b225c3..958083efc 100644 --- a/src/tgba/tgbagraph.hh +++ b/src/tgba/tgbagraph.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBAGRAPH_HH -# define SPOT_TGBA_TGBAGRAPH_HH +#pragma once #include "fwd.hh" #include "graph/graph.hh" @@ -477,7 +476,4 @@ namespace spot else return tgba_dupexp_dfs(aut, p); } - } - -#endif // SPOT_TGBA_TGBAGRAPH_HH diff --git a/src/tgba/tgbamask.hh b/src/tgba/tgbamask.hh index bfe11c698..6d33ac01a 100644 --- a/src/tgba/tgbamask.hh +++ b/src/tgba/tgbamask.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBAMASK_HH -# define SPOT_TGBA_TGBAMASK_HH +#pragma once #include #include "tgbaproxy.hh" @@ -64,7 +63,4 @@ namespace spot build_tgba_mask_acc_ignore(const const_tgba_ptr& to_mask, unsigned to_ignore, const state* init = 0); - } - -#endif // SPOT_TGBA_TGBAMASK_HH diff --git a/src/tgba/tgbaproduct.hh b/src/tgba/tgbaproduct.hh index ff3b47030..d90579bf2 100644 --- a/src/tgba/tgbaproduct.hh +++ b/src/tgba/tgbaproduct.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBAPRODUCT_HH -# define SPOT_TGBA_TGBAPRODUCT_HH +#pragma once #include "tgba.hh" #include "misc/fixpool.hh" @@ -148,5 +147,3 @@ namespace spot left_init, right_init); } } - -#endif // SPOT_TGBA_TGBAPRODUCT_HH diff --git a/src/tgba/tgbaproxy.hh b/src/tgba/tgbaproxy.hh index 3da70658a..40956921c 100644 --- a/src/tgba/tgbaproxy.hh +++ b/src/tgba/tgbaproxy.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBAPROXY_HH -# define SPOT_TGBA_TGBAPROXY_HH +#pragma once #include "tgba.hh" @@ -58,5 +57,3 @@ namespace spot const_tgba_ptr original_; }; } - -#endif // SPOT_TGBA_TGBA_HH diff --git a/src/tgba/tgbasafracomplement.hh b/src/tgba/tgbasafracomplement.hh index 2e8682d01..44bcefd83 100644 --- a/src/tgba/tgbasafracomplement.hh +++ b/src/tgba/tgbasafracomplement.hh @@ -17,11 +17,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBA_TGBASAFRACOMPLEMENT_HH -# define SPOT_TGBA_TGBASAFRACOMPLEMENT_HH +#pragma once -# include -# include "tgba.hh" +#include +#include "tgba.hh" #ifndef TRANSFORM_TO_TBA # define TRANSFORM_TO_TBA 0 @@ -94,5 +93,3 @@ namespace spot /// automaton to display void SPOT_API display_safra(const const_tgba_safra_complement_ptr& a); } - -#endif // SPOT_TGBA_TGBASAFRACOMPLEMENT_HH diff --git a/src/tgbaalgos/are_isomorphic.hh b/src/tgbaalgos/are_isomorphic.hh index 5a1c2ac6d..f0d6011b8 100644 --- a/src/tgbaalgos/are_isomorphic.hh +++ b/src/tgbaalgos/are_isomorphic.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_ARE_ISOMORPHIC_HH -# define SPOT_TGBAALGOS_ARE_ISOMORPHIC_HH +#pragma once #include "tgba/tgbagraph.hh" #include @@ -53,5 +52,3 @@ namespace spot std::vector reftrans_; }; } - -#endif diff --git a/src/tgbaalgos/bfssteps.hh b/src/tgbaalgos/bfssteps.hh index 8ce4f7ffa..1c22a887c 100644 --- a/src/tgbaalgos/bfssteps.hh +++ b/src/tgbaalgos/bfssteps.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_BFSSTEPS_HH -# define SPOT_TGBAALGOS_BFSSTEPS_HH +#pragma once #include #include "emptiness.hh" @@ -100,8 +99,4 @@ namespace spot protected: const_tgba_ptr a_; ///< The spot::tgba we are searching into. }; - - } - -#endif // SPOT_TGBAALGOS_BFSSTEPS_HH diff --git a/src/tgbaalgos/canonicalize.hh b/src/tgbaalgos/canonicalize.hh index 46178fd79..4262321f8 100644 --- a/src/tgbaalgos/canonicalize.hh +++ b/src/tgbaalgos/canonicalize.hh @@ -17,10 +17,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_CANONICALIZE_HH -# define SPOT_TGBAALGOS_CANONICALIZE_HH +#pragma once #include "tgba/tgbagraph.hh" + namespace spot { /// \ingroup tgba_misc @@ -28,5 +28,3 @@ namespace spot /// same for every isomorphic automata. SPOT_API tgba_digraph_ptr canonicalize(tgba_digraph_ptr aut); } - -#endif diff --git a/src/tgbaalgos/cleanacc.hh b/src/tgbaalgos/cleanacc.hh index c7496d221..b52de35aa 100644 --- a/src/tgbaalgos/cleanacc.hh +++ b/src/tgbaalgos/cleanacc.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_CLEANACC_HH -# define SPOT_TGBAALGOS_CLEANACC_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -28,5 +27,3 @@ namespace spot SPOT_API void cleanup_acceptance(tgba_digraph_ptr& aut); } - -#endif // SPOT_TGBAALGOS_CLEANACC_HH diff --git a/src/tgbaalgos/complete.hh b/src/tgbaalgos/complete.hh index 34fedca8c..95cde2732 100644 --- a/src/tgbaalgos/complete.hh +++ b/src/tgbaalgos/complete.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_COMPLETE_HH -# define SPOT_TGBAALGOS_COMPLETE_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -38,5 +37,3 @@ namespace spot /// If the tgba has no acceptance set, one will be added. SPOT_API tgba_digraph_ptr tgba_complete(const const_tgba_ptr& aut); } - -#endif // SPOT_TGBAALGOS_COMPLETE_HH diff --git a/src/tgbaalgos/compsusp.hh b/src/tgbaalgos/compsusp.hh index 2c1467407..c4aea6a4b 100644 --- a/src/tgbaalgos/compsusp.hh +++ b/src/tgbaalgos/compsusp.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_COMPSUSP_HH -# define SPOT_TGBAALGOS_COMPSUSP_HH +#pragma once #include "ltlast/formula.hh" #include "tgba/tgbagraph.hh" @@ -55,5 +54,3 @@ namespace spot bool early_susp = false, bool no_susp_product = false, bool wdba_smaller = false, bool oblig = false); } - -#endif // SPOT_TGBAALGOS_COMPSUSP_HH diff --git a/src/tgbaalgos/cycles.hh b/src/tgbaalgos/cycles.hh index 0ad06b571..74391fb2b 100644 --- a/src/tgbaalgos/cycles.hh +++ b/src/tgbaalgos/cycles.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_CYCLES_HH -# define SPOT_TGBAALGOS_CYCLES_HH +#pragma once #include "sccinfo.hh" #include "misc/hash.hh" @@ -162,7 +161,4 @@ namespace spot // unmark the state y (sub-procedure from the paper) void unmark(unsigned y); }; - } - -#endif // SPOT_TGBAALGOS_CYCLES_HH diff --git a/src/tgbaalgos/degen.hh b/src/tgbaalgos/degen.hh index 2804fa601..af6adb618 100644 --- a/src/tgbaalgos/degen.hh +++ b/src/tgbaalgos/degen.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DEGEN_HH -# define SPOT_TGBAALGOS_DEGEN_HH +#pragma once -# include "tgba/tgbagraph.hh" +#include "tgba/tgbagraph.hh" namespace spot { @@ -61,6 +60,3 @@ namespace spot bool skip_levels = true); /// \@} } - - -#endif diff --git a/src/tgbaalgos/dotty.hh b/src/tgbaalgos/dotty.hh index 2f7c85fe3..7eaf680ad 100644 --- a/src/tgbaalgos/dotty.hh +++ b/src/tgbaalgos/dotty.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DOTTY_HH -# define SPOT_TGBAALGOS_DOTTY_HH +#pragma once -# include -# include -# include "misc/common.hh" +#include +#include +#include "misc/common.hh" namespace spot { @@ -46,5 +45,3 @@ namespace spot const const_tgba_ptr& g, const char* options = nullptr); } - -#endif // SPOT_TGBAALGOS_DOTTY_HH diff --git a/src/tgbaalgos/dtbasat.hh b/src/tgbaalgos/dtbasat.hh index effb8302c..543f695f2 100644 --- a/src/tgbaalgos/dtbasat.hh +++ b/src/tgbaalgos/dtbasat.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DTBASAT_HH -# define SPOT_TGBAALGOS_DTBASAT_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -65,5 +64,3 @@ namespace spot dtba_sat_minimize_dichotomy(const const_tgba_digraph_ptr& a, bool state_based = false); } - -#endif // SPOT_TGBAALGOS_DTBASAT_HH diff --git a/src/tgbaalgos/dtgbacomp.hh b/src/tgbaalgos/dtgbacomp.hh index 964a76d31..072ed47a3 100644 --- a/src/tgbaalgos/dtgbacomp.hh +++ b/src/tgbaalgos/dtgbacomp.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DTGBACOMP_HH -# define SPOT_TGBAALGOS_DTGBACOMP_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -34,5 +33,3 @@ namespace spot SPOT_API tgba_digraph_ptr dtgba_complement(const const_tgba_digraph_ptr& aut); } - -#endif // SPOT_TGBAALGOS_DTGBACOMP_HH diff --git a/src/tgbaalgos/dtgbasat.hh b/src/tgbaalgos/dtgbasat.hh index 9e560f113..daddbd24f 100644 --- a/src/tgbaalgos/dtgbasat.hh +++ b/src/tgbaalgos/dtgbasat.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DTGBASAT_HH -# define SPOT_TGBAALGOS_DTGBASAT_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -72,5 +71,3 @@ namespace spot unsigned target_acc_number, bool state_based = false); } - -#endif // SPOT_TGBAALGOS_DTGBASAT_HH diff --git a/src/tgbaalgos/dupexp.hh b/src/tgbaalgos/dupexp.hh index 18fabb560..b8ba17519 100644 --- a/src/tgbaalgos/dupexp.hh +++ b/src/tgbaalgos/dupexp.hh @@ -20,13 +20,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_DUPEXP_HH -# define SPOT_TGBAALGOS_DUPEXP_HH +#pragma once -# include "misc/common.hh" -# include "tgba/fwd.hh" -# include "tgba/tgba.hh" -# include +#include "misc/common.hh" +#include "tgba/fwd.hh" +#include "tgba/tgba.hh" +#include namespace spot { @@ -41,5 +40,3 @@ namespace spot SPOT_API tgba_digraph_ptr tgba_dupexp_dfs(const const_tgba_ptr& aut, tgba::prop_set p); } - -#endif // SPOT_TGBAALGOS_DUPEXP_HH diff --git a/src/tgbaalgos/emptiness.hh b/src/tgbaalgos/emptiness.hh index 0b3e97a2f..77685e434 100644 --- a/src/tgbaalgos/emptiness.hh +++ b/src/tgbaalgos/emptiness.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_EMPTINESS_HH -# define SPOT_TGBAALGOS_EMPTINESS_HH +#pragma once #include #include @@ -324,5 +323,3 @@ namespace spot /// \addtogroup emptiness_check_stats Emptiness-check statistics /// \ingroup emptiness_check } - -#endif // SPOT_TGBAALGOS_EMPTINESS_HH diff --git a/src/tgbaalgos/emptiness_stats.hh b/src/tgbaalgos/emptiness_stats.hh index 62cfea402..845a3a984 100644 --- a/src/tgbaalgos/emptiness_stats.hh +++ b/src/tgbaalgos/emptiness_stats.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_EMPTINESS_STATS_HH -# define SPOT_TGBAALGOS_EMPTINESS_STATS_HH +#pragma once #include #include @@ -270,9 +269,5 @@ namespace spot /// Number of states in the search space for the accepting cycle. virtual unsigned acss_states() const = 0; }; - - /// @} } - -#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH diff --git a/src/tgbaalgos/gtec/ce.hh b/src/tgbaalgos/gtec/ce.hh index 4975056e3..a2f26518c 100644 --- a/src/tgbaalgos/gtec/ce.hh +++ b/src/tgbaalgos/gtec/ce.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_GTEC_CE_HH -# define SPOT_TGBAALGOS_GTEC_CE_HH +#pragma once #include "status.hh" #include "tgbaalgos/emptiness.hh" @@ -55,5 +54,3 @@ namespace spot tgba_run_ptr run_; }; } - -#endif // SPOT_TGBAALGOS_GTEC_CE_HH diff --git a/src/tgbaalgos/gtec/gtec.hh b/src/tgbaalgos/gtec/gtec.hh index 7f4266da2..37d0e727b 100644 --- a/src/tgbaalgos/gtec/gtec.hh +++ b/src/tgbaalgos/gtec/gtec.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_GTEC_GTEC_HH -# define SPOT_TGBAALGOS_GTEC_GTEC_HH +#pragma once #include #include "status.hh" @@ -243,5 +242,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_GTEC_GTEC_HH diff --git a/src/tgbaalgos/gtec/sccstack.hh b/src/tgbaalgos/gtec/sccstack.hh index 9433348bf..1683c6a8d 100644 --- a/src/tgbaalgos/gtec/sccstack.hh +++ b/src/tgbaalgos/gtec/sccstack.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_GTEC_SCCSTACK_HH -# define SPOT_TGBAALGOS_GTEC_SCCSTACK_HH +#pragma once #include #include @@ -78,5 +77,3 @@ namespace spot stack_type s; }; } - -#endif // SPOT_TGBAALGOS_GTEC_SCCSTACK_HH diff --git a/src/tgbaalgos/gtec/status.hh b/src/tgbaalgos/gtec/status.hh index e1e9c119d..3b32b9bc6 100644 --- a/src/tgbaalgos/gtec/status.hh +++ b/src/tgbaalgos/gtec/status.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_GTEC_STATUS_HH -# define SPOT_TGBAALGOS_GTEC_STATUS_HH +#pragma once #include "sccstack.hh" #include "tgba/tgba.hh" @@ -56,7 +55,4 @@ namespace spot /// Return the number of states visited by the search int states() const; }; - } - -#endif // SPOT_TGBAALGOS_GTEC_STATUS_HH diff --git a/src/tgbaalgos/gv04.hh b/src/tgbaalgos/gv04.hh index 0b9ce7d66..6a2f8d1a1 100644 --- a/src/tgbaalgos/gv04.hh +++ b/src/tgbaalgos/gv04.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_GV04_HH -# define SPOT_TGBAALGOS_GV04_HH +#pragma once -# include "misc/optionmap.hh" -# include "tgba/fwd.hh" -# include "emptiness.hh" +#include "misc/optionmap.hh" +#include "tgba/fwd.hh" +#include "emptiness.hh" namespace spot { @@ -56,5 +55,3 @@ namespace spot SPOT_API emptiness_check_ptr explicit_gv04_check(const const_tgba_ptr& a, option_map o = option_map()); } - -#endif // SPOT_TGBAALGOS_GV04_HH diff --git a/src/tgbaalgos/hoa.hh b/src/tgbaalgos/hoa.hh index 51856fbe0..2f7a64d92 100644 --- a/src/tgbaalgos/hoa.hh +++ b/src/tgbaalgos/hoa.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_HOA_HH -# define SPOT_TGBAALGOS_HOA_HH +#pragma once #include #include "misc/common.hh" @@ -41,5 +40,3 @@ namespace spot const const_tgba_ptr& g, const char* opt); } - -#endif // SPOT_TGBAALGOS_HOA_HH diff --git a/src/tgbaalgos/isdet.hh b/src/tgbaalgos/isdet.hh index a43f464c1..55972bf5d 100644 --- a/src/tgbaalgos/isdet.hh +++ b/src/tgbaalgos/isdet.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_ISDET_HH -# define SPOT_TGBAALGOS_ISDET_HH +#pragma once -# include "tgba/tgbagraph.hh" +#include "tgba/tgbagraph.hh" namespace spot { @@ -52,5 +51,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_ISDET_HH diff --git a/src/tgbaalgos/isweakscc.hh b/src/tgbaalgos/isweakscc.hh index 85366de2b..33cfb7b6e 100644 --- a/src/tgbaalgos/isweakscc.hh +++ b/src/tgbaalgos/isweakscc.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_ISWEAKSCC_HH -# define SPOT_TGBAALGOS_ISWEAKSCC_HH +#pragma once #include "sccinfo.hh" @@ -69,6 +68,3 @@ namespace spot /// @} } - - -#endif // SPOT_TGBAALGOS_ISWEAKSCC_HH diff --git a/src/tgbaalgos/lbtt.hh b/src/tgbaalgos/lbtt.hh index 6368ec2af..a7bbc6724 100644 --- a/src/tgbaalgos/lbtt.hh +++ b/src/tgbaalgos/lbtt.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_LBTT_HH -# define SPOT_TGBAALGOS_LBTT_HH +#pragma once #include "tgba/tgba.hh" #include @@ -38,5 +37,3 @@ namespace spot SPOT_API std::ostream& lbtt_reachable(std::ostream& os, const const_tgba_ptr& g, bool sba = false); } - -#endif // SPOT_TGBAALGOS_LBTT_HH diff --git a/src/tgbaalgos/ltl2taa.hh b/src/tgbaalgos/ltl2taa.hh index cddd95a11..28832d301 100644 --- a/src/tgbaalgos/ltl2taa.hh +++ b/src/tgbaalgos/ltl2taa.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_LTL2TAA_HH -# define SPOT_TGBAALGOS_LTL2TAA_HH +#pragma once #include "ltlast/formula.hh" #include "tgba/taatgba.hh" @@ -52,5 +51,3 @@ namespace spot ltl_to_taa(const ltl::formula* f, const bdd_dict_ptr& dict, bool refined_rules = false); } - -#endif // SPOT_TGBAALGOS_LTL2TAA_HH diff --git a/src/tgbaalgos/ltl2tgba_fm.hh b/src/tgbaalgos/ltl2tgba_fm.hh index 2467f0c94..01254845c 100644 --- a/src/tgbaalgos/ltl2tgba_fm.hh +++ b/src/tgbaalgos/ltl2tgba_fm.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_LTL2TGBA_FM_HH -# define SPOT_TGBAALGOS_LTL2TGBA_FM_HH +#pragma once #include "ltlast/formula.hh" #include "tgba/tgbagraph.hh" @@ -130,5 +129,3 @@ namespace spot const ltl::atomic_prop_set* unobs = 0, ltl::ltl_simplifier* simplifier = 0); } - -#endif // SPOT_TGBAALGOS_LTL2TGBA_FM_HH diff --git a/src/tgbaalgos/magic.hh b/src/tgbaalgos/magic.hh index de7e84bb7..63bf43e48 100644 --- a/src/tgbaalgos/magic.hh +++ b/src/tgbaalgos/magic.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_MAGIC_HH -# define SPOT_TGBAALGOS_MAGIC_HH +#pragma once #include #include "tgba/fwd.hh" @@ -142,5 +141,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_MAGIC_HH diff --git a/src/tgbaalgos/mask.hh b/src/tgbaalgos/mask.hh index f02ca0d9c..7773c848a 100644 --- a/src/tgbaalgos/mask.hh +++ b/src/tgbaalgos/mask.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_MASK_HH -# define SPOT_TGBAALGOS_MASK_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -147,9 +146,4 @@ namespace spot tgba_digraph_ptr mask_keep_states(const const_tgba_digraph_ptr& in, std::vector& to_keep, unsigned int init); - - } - - -#endif // SPOT_TGBAALGOS_MASK_HH diff --git a/src/tgbaalgos/minimize.hh b/src/tgbaalgos/minimize.hh index 9d577d7f6..2101a51bc 100644 --- a/src/tgbaalgos/minimize.hh +++ b/src/tgbaalgos/minimize.hh @@ -17,11 +17,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_MINIMIZE_HH -# define SPOT_TGBAALGOS_MINIMIZE_HH +#pragma once -# include "tgba/tgbagraph.hh" -# include "ltlast/formula.hh" +#include "tgba/tgbagraph.hh" +#include "ltlast/formula.hh" namespace spot { @@ -155,8 +154,5 @@ namespace spot const ltl::formula* f = 0, const_tgba_digraph_ptr aut_neg_f = nullptr, bool reject_bigger = false); - /// @} } - -#endif /* !SPOT_TGBAALGOS_MINIMIZE_HH */ diff --git a/src/tgbaalgos/ndfs_result.hxx b/src/tgbaalgos/ndfs_result.hxx index dd2cbd1dd..3949baabd 100644 --- a/src/tgbaalgos/ndfs_result.hxx +++ b/src/tgbaalgos/ndfs_result.hxx @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_NDFS_RESULT_HXX -# define SPOT_TGBAALGOS_NDFS_RESULT_HXX +#pragma once //#define NDFSR_TRACE @@ -670,5 +669,3 @@ namespace spot } #undef ndfsr_trace - -#endif // SPOT_TGBAALGOS_NDFS_RESULT_HXX diff --git a/src/tgbaalgos/neverclaim.hh b/src/tgbaalgos/neverclaim.hh index 2a0a1ed45..98a6b9918 100644 --- a/src/tgbaalgos/neverclaim.hh +++ b/src/tgbaalgos/neverclaim.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_NEVERCLAIM_HH -# define SPOT_TGBAALGOS_NEVERCLAIM_HH +#pragma once #include #include "tgba/fwd.hh" @@ -44,5 +43,3 @@ namespace spot const const_tgba_ptr& g, const char* opt = nullptr); } - -#endif // SPOT_TGBAALGOS_NEVERCLAIM_HH diff --git a/src/tgbaalgos/postproc.hh b/src/tgbaalgos/postproc.hh index 674268ec3..9249a4424 100644 --- a/src/tgbaalgos/postproc.hh +++ b/src/tgbaalgos/postproc.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_POSTPROC_HH -# define SPOT_TGBAALGOS_POSTPROC_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -128,5 +127,3 @@ namespace spot }; /// @} } - -#endif // SPOT_TGBAALGOS_POSTPROC_HH diff --git a/src/tgbaalgos/powerset.hh b/src/tgbaalgos/powerset.hh index baca5cf1a..784ca1e84 100644 --- a/src/tgbaalgos/powerset.hh +++ b/src/tgbaalgos/powerset.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_POWERSET_HH -# define SPOT_TGBAALGOS_POWERSET_HH +#pragma once -# include -# include -# include "tgba/tgbagraph.hh" +#include +#include +#include "tgba/tgbagraph.hh" namespace spot { @@ -138,5 +137,3 @@ namespace spot const_tgba_digraph_ptr neg_aut = 0); } - -#endif // SPOT_TGBAALGOS_POWERSET_HH diff --git a/src/tgbaalgos/product.hh b/src/tgbaalgos/product.hh index b22c229dd..0cb176c21 100644 --- a/src/tgbaalgos/product.hh +++ b/src/tgbaalgos/product.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_PRODUCT_HH -# define SPOT_TGBAALGOS_PRODUCT_HH +#pragma once #include "misc/common.hh" #include "tgba/fwd.hh" @@ -41,5 +40,3 @@ namespace spot unsigned left_state, unsigned right_state); } - -#endif // SPOT_TGBAALGOS_PRODUCT_HH diff --git a/src/tgbaalgos/projrun.hh b/src/tgbaalgos/projrun.hh index a43dcca2e..087c07f27 100644 --- a/src/tgbaalgos/projrun.hh +++ b/src/tgbaalgos/projrun.hh @@ -20,13 +20,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_PROJRUN_HH -# define SPOT_TGBAALGOS_PROJRUN_HH +#pragma once -# include "misc/common.hh" -# include -# include "tgba/fwd.hh" -# include "tgbaalgos/emptiness.hh" +#include "misc/common.hh" +#include +#include "tgba/fwd.hh" +#include "tgbaalgos/emptiness.hh" namespace spot { @@ -47,5 +46,3 @@ namespace spot const const_tgba_ptr& a_proj, const const_tgba_run_ptr& run); } - -#endif // SPOT_TGBAALGOS_PROJRUN_HH diff --git a/src/tgbaalgos/randomgraph.hh b/src/tgbaalgos/randomgraph.hh index 186710b9c..9e78fbcb2 100644 --- a/src/tgbaalgos/randomgraph.hh +++ b/src/tgbaalgos/randomgraph.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_RANDOMGRAPH_HH -# define SPOT_TGBAALGOS_RANDOMGRAPH_HH +#pragma once #include "ltlvisit/apcollect.hh" #include "ltlenv/defaultenv.hh" @@ -83,5 +82,3 @@ namespace spot unsigned n_accs = 0, float a = 0.1, float t = 0.5, bool deterministic = false, bool state_acc = false); } - -#endif // SPOT_TGBAALGOS_RANDOMGRAPH_HH diff --git a/src/tgbaalgos/randomize.hh b/src/tgbaalgos/randomize.hh index 76e32297a..a3234e19d 100644 --- a/src/tgbaalgos/randomize.hh +++ b/src/tgbaalgos/randomize.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_RANDOMIZE_HH -# define SPOT_TGBAALGOS_RANDOMIZE_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -33,5 +32,3 @@ namespace spot bool randomize_states = true, bool randomize_transitions = true); } - -#endif // SPOT_TGBAALGOS_RANDOMGRAPH_HH diff --git a/src/tgbaalgos/reachiter.hh b/src/tgbaalgos/reachiter.hh index c75d3e06b..cd213661d 100644 --- a/src/tgbaalgos/reachiter.hh +++ b/src/tgbaalgos/reachiter.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_REACHITER_HH -# define SPOT_TGBAALGOS_REACHITER_HH +#pragma once #include "misc/hash.hh" #include "tgba/tgba.hh" @@ -200,6 +199,3 @@ namespace spot std::unordered_set stack_; }; } - - -#endif // SPOT_TGBAALGOS_REACHITER_HH diff --git a/src/tgbaalgos/reducerun.hh b/src/tgbaalgos/reducerun.hh index 4a251f22c..aaafe3df7 100644 --- a/src/tgbaalgos/reducerun.hh +++ b/src/tgbaalgos/reducerun.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_REDUCERUN_HH -# define SPOT_TGBAALGOS_REDUCERUN_HH +#pragma once -# include "misc/common.hh" -# include "tgba/fwd.hh" -# include "tgbaalgos/emptiness.hh" +#include "misc/common.hh" +#include "tgba/fwd.hh" +#include "tgbaalgos/emptiness.hh" namespace spot { @@ -37,5 +36,3 @@ namespace spot SPOT_API tgba_run_ptr reduce_run(const const_tgba_ptr& a, const const_tgba_run_ptr& org); } - -#endif // SPOT_TGBAALGOS_REDUCERUN_HH diff --git a/src/tgbaalgos/relabel.hh b/src/tgbaalgos/relabel.hh index 98e8237f2..70ff39609 100644 --- a/src/tgbaalgos/relabel.hh +++ b/src/tgbaalgos/relabel.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_RELABEL_HH -#define SPOT_TGBAALGOS_RELABEL_HH +#pragma once #include "ltlvisit/relabel.hh" #include "tgba/tgbagraph.hh" @@ -30,5 +29,3 @@ namespace spot relabel_here(tgba_digraph_ptr& aut, ltl::relabeling_map* relmap); } - -#endif // SPOT_TGBAALGOS_RELABEL_HH diff --git a/src/tgbaalgos/remfin.hh b/src/tgbaalgos/remfin.hh index 59e647033..46df0c454 100644 --- a/src/tgbaalgos/remfin.hh +++ b/src/tgbaalgos/remfin.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_REMFIN_HH -# define SPOT_TGBAALGOS_REMFIN_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -28,5 +27,3 @@ namespace spot SPOT_API tgba_digraph_ptr remove_fin(const const_tgba_digraph_ptr& aut); } - -#endif // SPOT_TGBAALGOS_DTGBACOMP_HH diff --git a/src/tgbaalgos/replayrun.hh b/src/tgbaalgos/replayrun.hh index 169685dd7..1b4e65b8c 100644 --- a/src/tgbaalgos/replayrun.hh +++ b/src/tgbaalgos/replayrun.hh @@ -20,13 +20,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_REPLAYRUN_HH -# define SPOT_TGBAALGOS_REPLAYRUN_HH +#pragma once -# include "misc/common.hh" -# include -# include "tgba/fwd.hh" -# include "tgbaalgos/emptiness.hh" +#include "misc/common.hh" +#include +#include "tgba/fwd.hh" +#include "tgbaalgos/emptiness.hh" namespace spot { @@ -53,5 +52,3 @@ namespace spot const const_tgba_run_ptr& run, bool debug = false); } - -#endif // SPOT_TGBAALGOS_REPLAYRUN_HH diff --git a/src/tgbaalgos/safety.hh b/src/tgbaalgos/safety.hh index f2a58eb8e..114b5fc36 100644 --- a/src/tgbaalgos/safety.hh +++ b/src/tgbaalgos/safety.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SAFETY_HH -# define SPOT_TGBAALGOS_SAFETY_HH +#pragma once #include "sccinfo.hh" @@ -60,5 +59,3 @@ namespace spot is_safety_mwdba(const const_tgba_digraph_ptr& aut); } - -#endif // SPOT_TGBAALGOS_SAFETY_HH diff --git a/src/tgbaalgos/sbacc.hh b/src/tgbaalgos/sbacc.hh index 230aa4f1a..76dd0108d 100644 --- a/src/tgbaalgos/sbacc.hh +++ b/src/tgbaalgos/sbacc.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SBACC_HH -# define SPOT_TGBAALGOS_SBACC_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -29,5 +28,3 @@ namespace spot /// This is independent on the acceptance condition used. SPOT_API tgba_digraph_ptr sbacc(tgba_digraph_ptr& aut); } - -#endif // SPOT_TGBAALGOS_COMPLETE_HH diff --git a/src/tgbaalgos/scc.hh b/src/tgbaalgos/scc.hh index 0e9615101..3c314f126 100644 --- a/src/tgbaalgos/scc.hh +++ b/src/tgbaalgos/scc.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SCC_HH -# define SPOT_TGBAALGOS_SCC_HH +#pragma once #include #include @@ -209,5 +208,3 @@ namespace spot SPOT_API std::ostream& dump_scc_dot(const scc_map& m, std::ostream& out, bool verbose = false); } - -#endif // SPOT_TGBAALGOS_SCC_HH diff --git a/src/tgbaalgos/sccfilter.hh b/src/tgbaalgos/sccfilter.hh index a807d47cb..dea2e9233 100644 --- a/src/tgbaalgos/sccfilter.hh +++ b/src/tgbaalgos/sccfilter.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SCCFILTER_HH -# define SPOT_TGBAALGOS_SCCFILTER_HH +#pragma once #include "misc/common.hh" #include @@ -88,5 +87,3 @@ namespace spot bdd suspvars, bdd ignoredvars, bool early_susp, scc_info* given_si = 0); } - -#endif // SPOT_TGBAALGOS_SCC_HH diff --git a/src/tgbaalgos/sccinfo.hh b/src/tgbaalgos/sccinfo.hh index 648f139e7..9c38f0a9f 100644 --- a/src/tgbaalgos/sccinfo.hh +++ b/src/tgbaalgos/sccinfo.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SCCINFO_HH -# define SPOT_TGBAALGOS_SCCINFO_HH +#pragma once #include #include "tgba/tgbagraph.hh" @@ -230,5 +229,3 @@ namespace spot const_tgba_digraph_ptr aut, scc_info* sccinfo = nullptr); } - -#endif // SPOT_TGBAALGOS_SCCINFO_HH diff --git a/src/tgbaalgos/se05.hh b/src/tgbaalgos/se05.hh index a2230aca1..ad8c2b9ce 100644 --- a/src/tgbaalgos/se05.hh +++ b/src/tgbaalgos/se05.hh @@ -20,13 +20,12 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SE05_HH -# define SPOT_TGBAALGOS_SE05_HH +#pragma once -# include -# include "misc/optionmap.hh" -# include "tgba/fwd.hh" -# include "emptiness.hh" +#include +#include "misc/optionmap.hh" +#include "tgba/fwd.hh" +#include "emptiness.hh" namespace spot { @@ -147,5 +146,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_SE05_HH diff --git a/src/tgbaalgos/simulation.hh b/src/tgbaalgos/simulation.hh index 474396ede..ae4013769 100644 --- a/src/tgbaalgos/simulation.hh +++ b/src/tgbaalgos/simulation.hh @@ -17,11 +17,10 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_SIMULATION_HH -# define SPOT_TGBAALGOS_SIMULATION_HH +#pragma once -# include "misc/common.hh" -# include "tgba/tgbagraph.hh" +#include "misc/common.hh" +#include "tgba/tgbagraph.hh" namespace spot { @@ -149,7 +148,3 @@ namespace spot /// @} } // End namespace spot. - - - -#endif // !SPOT_TGBAALGOS_SIMULATION_HH diff --git a/src/tgbaalgos/stats.hh b/src/tgbaalgos/stats.hh index 6955ba875..2a684af77 100644 --- a/src/tgbaalgos/stats.hh +++ b/src/tgbaalgos/stats.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_STATS_HH -# define SPOT_TGBAALGOS_STATS_HH +#pragma once #include "tgba/tgba.hh" #include @@ -106,5 +105,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_STATS_HH diff --git a/src/tgbaalgos/stripacc.hh b/src/tgbaalgos/stripacc.hh index ef785545c..4f170075a 100644 --- a/src/tgbaalgos/stripacc.hh +++ b/src/tgbaalgos/stripacc.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_STRIPACC_HH -# define SPOT_TGBAALGOS_STRIPACC_HH +#pragma once -# include "tgba/tgbagraph.hh" +#include "tgba/tgbagraph.hh" namespace spot { @@ -31,5 +30,3 @@ namespace spot SPOT_API void strip_acceptance_here(tgba_digraph_ptr a); } - -#endif // SPOT_TGBAALGOS_STRIPACC_HH diff --git a/src/tgbaalgos/stutter.hh b/src/tgbaalgos/stutter.hh index e0c54efd2..680539772 100644 --- a/src/tgbaalgos/stutter.hh +++ b/src/tgbaalgos/stutter.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_STUTTER_HH -# define SPOT_TGBAALGOS_STUTTER_HH +#pragma once #include "tgba/tgbagraph.hh" @@ -59,5 +58,3 @@ namespace spot tgba_digraph_ptr&& aut_nf, bdd aps, int algo = 0); } - -#endif // SPOT_TGBAALGOS_STUTTER_HH diff --git a/src/tgbaalgos/tau03.hh b/src/tgbaalgos/tau03.hh index ce35f1faf..951edb189 100644 --- a/src/tgbaalgos/tau03.hh +++ b/src/tgbaalgos/tau03.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_TAU03_HH -# define SPOT_TGBAALGOS_TAU03_HH +#pragma once -# include "misc/optionmap.hh" -# include "tgba/fwd.hh" -# include "emptiness.hh" +#include "misc/optionmap.hh" +#include "tgba/fwd.hh" +#include "emptiness.hh" namespace spot { @@ -100,5 +99,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_TAU03_HH diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh index 10546a5f8..7d7028e01 100644 --- a/src/tgbaalgos/tau03opt.hh +++ b/src/tgbaalgos/tau03opt.hh @@ -20,12 +20,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_TAU03OPT_HH -# define SPOT_TGBAALGOS_TAU03OPT_HH +#pragma once -# include "misc/optionmap.hh" -# include "tgba/fwd.hh" -# include "emptiness.hh" +#include "misc/optionmap.hh" +#include "tgba/fwd.hh" +#include "emptiness.hh" namespace spot { @@ -103,5 +102,3 @@ namespace spot /// @} } - -#endif // SPOT_TGBAALGOS_TAU03OPT_HH diff --git a/src/tgbaalgos/translate.hh b/src/tgbaalgos/translate.hh index 21add3e10..08f191239 100644 --- a/src/tgbaalgos/translate.hh +++ b/src/tgbaalgos/translate.hh @@ -17,8 +17,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_TRANSLATE_HH -# define SPOT_TGBAALGOS_TRANSLATE_HH +#pragma once #include "postproc.hh" #include "ltlvisit/simplify.hh" @@ -126,6 +125,3 @@ namespace spot }; /// @} } - - -#endif // SPOT_TGBAALGOS_TRANSLATE_HH diff --git a/src/tgbaalgos/weight.hh b/src/tgbaalgos/weight.hh index 8fae5d881..551bf8017 100644 --- a/src/tgbaalgos/weight.hh +++ b/src/tgbaalgos/weight.hh @@ -20,8 +20,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_WEIGHT_HH -# define SPOT_TGBAALGOS_WEIGHT_HH +#pragma once #include #include @@ -55,5 +54,3 @@ namespace spot std::vector m; }; }; - -#endif // SPOT_TGBAALGOS_WEIGHT_HH diff --git a/src/tgbaalgos/word.hh b/src/tgbaalgos/word.hh index 7c9b4f9c6..2a37c59ec 100644 --- a/src/tgbaalgos/word.hh +++ b/src/tgbaalgos/word.hh @@ -17,10 +17,9 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_WORD_HH -# define SPOT_TGBAALGOS_WORD_HH +#pragma once -# include "emptiness.hh" +#include "emptiness.hh" namespace spot { @@ -39,5 +38,3 @@ namespace spot }; } - -#endif // SPOT_TGBAALGOS_WORD_HH