From 8982c2088842ec0f50d0917057c0110493e649a8 Mon Sep 17 00:00:00 2001 From: Build Bot Date: Wed, 7 Feb 2024 14:04:14 +0000 Subject: [PATCH] Update doxygen docs --- docs/Interval_8h_source.html | 42 +- docs/MTLFormula_8h_source.html | 96 ++--- docs/MTLFormula_8hpp_source.html | 56 +-- docs/XmlWriter_8h_source.html | 6 +- docs/adapter_8h_source.html | 22 +- docs/annotated.html | 6 +- docs/app_2include_2app_2app_8h_source.html | 14 +- docs/ata_8h_source.html | 54 +-- docs/ata_8hpp_source.html | 40 +- docs/ata__formula_8h_source.html | 98 ++--- docs/ata__formula_8hpp_source.html | 86 ++-- docs/automata_8h_source.html | 48 +-- docs/automata_8hpp_source.html | 14 +- docs/bdwn.png | Bin 147 -> 0 bytes docs/canonical__word_8h_source.html | 74 ++-- docs/classes.html | 6 +- docs/classtacos_1_1Clock-members.html | 6 +- docs/classtacos_1_1Clock.html | 18 +- ...classtacos_1_1app_1_1Launcher-members.html | 6 +- docs/classtacos_1_1app_1_1Launcher.html | 14 +- ...ata_1_1AtomicClockConstraintT-members.html | 6 +- ...1_1automata_1_1AtomicClockConstraintT.html | 22 +- ...ckComparisonOperatorException-members.html | 6 +- ...validClockComparisonOperatorException.html | 20 +- ...mparisonOperatorException__coll__graph.map | 5 +- ...mparisonOperatorException__coll__graph.md5 | 2 +- ...mparisonOperatorException__coll__graph.png | Bin 7349 -> 7113 bytes ...risonOperatorException__inherit__graph.map | 5 +- ...risonOperatorException__inherit__graph.md5 | 2 +- ...risonOperatorException__inherit__graph.png | Bin 7349 -> 7113 bytes ...mata_1_1InvalidClockException-members.html | 6 +- ..._1_1automata_1_1InvalidClockException.html | 20 +- ..._1_1InvalidClockException__coll__graph.map | 5 +- ..._1_1InvalidClockException__coll__graph.md5 | 2 +- ..._1_1InvalidClockException__coll__graph.png | Bin 6251 -> 6274 bytes ...1InvalidClockException__inherit__graph.map | 5 +- ...1InvalidClockException__inherit__graph.md5 | 2 +- ...1InvalidClockException__inherit__graph.png | Bin 6251 -> 6274 bytes ...ata_1_1InvalidSymbolException-members.html | 6 +- ...1_1automata_1_1InvalidSymbolException.html | 22 +- ...1_1InvalidSymbolException__coll__graph.map | 5 +- ...1_1InvalidSymbolException__coll__graph.md5 | 2 +- ...1_1InvalidSymbolException__coll__graph.png | Bin 6579 -> 6979 bytes ...InvalidSymbolException__inherit__graph.map | 5 +- ...InvalidSymbolException__inherit__graph.md5 | 2 +- ...InvalidSymbolException__inherit__graph.png | Bin 6579 -> 6979 bytes ..._1_1InvalidTimedWordException-members.html | 6 +- ...automata_1_1InvalidTimedWordException.html | 20 +- ...InvalidTimedWordException__coll__graph.map | 5 +- ...InvalidTimedWordException__coll__graph.md5 | 2 +- ...InvalidTimedWordException__coll__graph.png | Bin 6655 -> 7039 bytes ...alidTimedWordException__inherit__graph.map | 5 +- ...alidTimedWordException__inherit__graph.md5 | 2 +- ...alidTimedWordException__inherit__graph.png | Bin 6655 -> 7039 bytes ..._1_1AlternatingTimedAutomaton-members.html | 6 +- ...a_1_1ata_1_1AlternatingTimedAutomaton.html | 30 +- ...ata_1_1ClockConstraintFormula-members.html | 6 +- ...mata_1_1ata_1_1ClockConstraintFormula.html | 36 +- ...1_1ClockConstraintFormula__coll__graph.map | 5 +- ...1_1ClockConstraintFormula__coll__graph.md5 | 2 +- ...1_1ClockConstraintFormula__coll__graph.png | Bin 7742 -> 7862 bytes ...ClockConstraintFormula__inherit__graph.map | 5 +- ...ClockConstraintFormula__inherit__graph.md5 | 2 +- ...ClockConstraintFormula__inherit__graph.png | Bin 7742 -> 7862 bytes ..._1_1ata_1_1ConjunctionFormula-members.html | 6 +- ...automata_1_1ata_1_1ConjunctionFormula.html | 36 +- ...ata_1_1ConjunctionFormula__coll__graph.map | 5 +- ...ata_1_1ConjunctionFormula__coll__graph.md5 | 2 +- ...ata_1_1ConjunctionFormula__coll__graph.png | Bin 7356 -> 7588 bytes ..._1_1ConjunctionFormula__inherit__graph.map | 5 +- ..._1_1ConjunctionFormula__inherit__graph.md5 | 2 +- ..._1_1ConjunctionFormula__inherit__graph.png | Bin 7356 -> 7588 bytes ..._1_1ata_1_1DisjunctionFormula-members.html | 6 +- ...automata_1_1ata_1_1DisjunctionFormula.html | 36 +- ...ata_1_1DisjunctionFormula__coll__graph.map | 5 +- ...ata_1_1DisjunctionFormula__coll__graph.md5 | 2 +- ...ata_1_1DisjunctionFormula__coll__graph.png | Bin 7434 -> 6811 bytes ..._1_1DisjunctionFormula__inherit__graph.map | 5 +- ..._1_1DisjunctionFormula__inherit__graph.md5 | 2 +- ..._1_1DisjunctionFormula__inherit__graph.png | Bin 7434 -> 6811 bytes ...tomata_1_1ata_1_1FalseFormula-members.html | 6 +- ...os_1_1automata_1_1ata_1_1FalseFormula.html | 30 +- ...ta_1_1ata_1_1FalseFormula__coll__graph.map | 5 +- ...ta_1_1ata_1_1FalseFormula__coll__graph.md5 | 2 +- ...ta_1_1ata_1_1FalseFormula__coll__graph.png | Bin 6583 -> 6798 bytes ...1_1ata_1_1FalseFormula__inherit__graph.map | 5 +- ...1_1ata_1_1FalseFormula__inherit__graph.md5 | 2 +- ...1_1ata_1_1FalseFormula__inherit__graph.png | Bin 6583 -> 6798 bytes ...1_1automata_1_1ata_1_1Formula-members.html | 6 +- ...sstacos_1_1automata_1_1ata_1_1Formula.html | 41 +- ...mata_1_1ata_1_1Formula__inherit__graph.map | 23 +- ...mata_1_1ata_1_1Formula__inherit__graph.md5 | 2 +- ...mata_1_1ata_1_1Formula__inherit__graph.png | Bin 43213 -> 48710 bytes ...ata_1_1ata_1_1LocationFormula-members.html | 6 +- ...1_1automata_1_1ata_1_1LocationFormula.html | 36 +- ...1_1ata_1_1LocationFormula__coll__graph.map | 5 +- ...1_1ata_1_1LocationFormula__coll__graph.md5 | 2 +- ...1_1ata_1_1LocationFormula__coll__graph.png | Bin 6430 -> 6666 bytes ...ata_1_1LocationFormula__inherit__graph.map | 5 +- ...ata_1_1LocationFormula__inherit__graph.md5 | 2 +- ...ata_1_1LocationFormula__inherit__graph.png | Bin 6430 -> 6666 bytes ...1_1NegativeTimeDeltaException-members.html | 6 +- ..._1_1ata_1_1NegativeTimeDeltaException.html | 20 +- ...egativeTimeDeltaException__coll__graph.map | 5 +- ...egativeTimeDeltaException__coll__graph.md5 | 2 +- ...egativeTimeDeltaException__coll__graph.png | Bin 6436 -> 6373 bytes ...tiveTimeDeltaException__inherit__graph.map | 5 +- ...tiveTimeDeltaException__inherit__graph.md5 | 2 +- ...tiveTimeDeltaException__inherit__graph.png | Bin 6436 -> 6373 bytes ...a_1_1ata_1_1ResetClockFormula-members.html | 6 +- ...1automata_1_1ata_1_1ResetClockFormula.html | 36 +- ...1ata_1_1ResetClockFormula__coll__graph.map | 5 +- ...1ata_1_1ResetClockFormula__coll__graph.md5 | 2 +- ...1ata_1_1ResetClockFormula__coll__graph.png | Bin 7587 -> 7900 bytes ...a_1_1ResetClockFormula__inherit__graph.map | 5 +- ...a_1_1ResetClockFormula__inherit__graph.md5 | 2 +- ...a_1_1ResetClockFormula__inherit__graph.png | Bin 7587 -> 7900 bytes ...automata_1_1ata_1_1Transition-members.html | 6 +- ...acos_1_1automata_1_1ata_1_1Transition.html | 20 +- ...utomata_1_1ata_1_1TrueFormula-members.html | 6 +- ...cos_1_1automata_1_1ata_1_1TrueFormula.html | 30 +- ...ata_1_1ata_1_1TrueFormula__coll__graph.map | 5 +- ...ata_1_1ata_1_1TrueFormula__coll__graph.md5 | 2 +- ...ata_1_1ata_1_1TrueFormula__coll__graph.png | Bin 6536 -> 6717 bytes ..._1_1ata_1_1TrueFormula__inherit__graph.map | 5 +- ..._1_1ata_1_1TrueFormula__inherit__graph.md5 | 2 +- ..._1_1ata_1_1TrueFormula__inherit__graph.png | Bin 6536 -> 6717 bytes ...1WrongTransitionTypeException-members.html | 6 +- ..._1ata_1_1WrongTransitionTypeException.html | 20 +- ...ngTransitionTypeException__coll__graph.map | 5 +- ...ngTransitionTypeException__coll__graph.md5 | 2 +- ...ngTransitionTypeException__coll__graph.png | Bin 6543 -> 6558 bytes ...ransitionTypeException__inherit__graph.map | 5 +- ...ransitionTypeException__inherit__graph.md5 | 2 +- ...ransitionTypeException__inherit__graph.png | Bin 6543 -> 6558 bytes ...a_1_1InvalidLocationException-members.html | 6 +- ...ata_1_1ta_1_1InvalidLocationException.html | 20 +- ...1InvalidLocationException__coll__graph.map | 5 +- ...1InvalidLocationException__coll__graph.md5 | 2 +- ...1InvalidLocationException__coll__graph.png | Bin 7213 -> 6757 bytes ...validLocationException__inherit__graph.map | 5 +- ...validLocationException__inherit__graph.md5 | 2 +- ...validLocationException__inherit__graph.png | Bin 7213 -> 6757 bytes ...cos_1_1automata_1_1ta_1_1Path-members.html | 6 +- .../classtacos_1_1automata_1_1ta_1_1Path.html | 14 +- ...omata_1_1ta_1_1TimedAutomaton-members.html | 6 +- ...s_1_1automata_1_1ta_1_1TimedAutomaton.html | 76 ++-- ...1automata_1_1ta_1_1Transition-members.html | 6 +- ...tacos_1_1automata_1_1ta_1_1Transition.html | 22 +- ...cos_1_1golog__app_1_1Launcher-members.html | 6 +- .../classtacos_1_1golog__app_1_1Launcher.html | 12 +- ...stacos_1_1logic_1_1MTLFormula-members.html | 6 +- docs/classtacos_1_1logic_1_1MTLFormula.html | 36 +- ...lasstacos_1_1logic_1_1MTLWord-members.html | 6 +- docs/classtacos_1_1logic_1_1MTLWord.html | 8 +- ...cos_1_1search_1_1BfsHeuristic-members.html | 6 +- .../classtacos_1_1search_1_1BfsHeuristic.html | 26 +- ...1_1search_1_1BfsHeuristic__coll__graph.map | 5 +- ...1_1search_1_1BfsHeuristic__coll__graph.md5 | 2 +- ...1_1search_1_1BfsHeuristic__coll__graph.png | Bin 7116 -> 7595 bytes ...search_1_1BfsHeuristic__inherit__graph.map | 5 +- ...search_1_1BfsHeuristic__inherit__graph.md5 | 2 +- ...search_1_1BfsHeuristic__inherit__graph.png | Bin 7116 -> 7595 bytes ...1search_1_1CompositeHeuristic-members.html | 6 +- ...tacos_1_1search_1_1CompositeHeuristic.html | 26 +- ...rch_1_1CompositeHeuristic__coll__graph.map | 5 +- ...rch_1_1CompositeHeuristic__coll__graph.md5 | 2 +- ...rch_1_1CompositeHeuristic__coll__graph.png | Bin 7768 -> 8009 bytes ..._1_1CompositeHeuristic__inherit__graph.map | 5 +- ..._1_1CompositeHeuristic__inherit__graph.md5 | 2 +- ..._1_1CompositeHeuristic__inherit__graph.png | Bin 7768 -> 8009 bytes ...cos_1_1search_1_1DfsHeuristic-members.html | 6 +- .../classtacos_1_1search_1_1DfsHeuristic.html | 24 +- ...1_1search_1_1DfsHeuristic__coll__graph.map | 5 +- ...1_1search_1_1DfsHeuristic__coll__graph.md5 | 2 +- ...1_1search_1_1DfsHeuristic__coll__graph.png | Bin 7227 -> 8244 bytes ...search_1_1DfsHeuristic__inherit__graph.map | 5 +- ...search_1_1DfsHeuristic__inherit__graph.md5 | 2 +- ...search_1_1DfsHeuristic__inherit__graph.png | Bin 7227 -> 8244 bytes ...cos_1_1search_1_1GologProgram-members.html | 6 +- .../classtacos_1_1search_1_1GologProgram.html | 36 +- ...stacos_1_1search_1_1Heuristic-members.html | 6 +- docs/classtacos_1_1search_1_1Heuristic.html | 39 +- ...1_1search_1_1Heuristic__inherit__graph.map | 23 +- ...1_1search_1_1Heuristic__inherit__graph.md5 | 2 +- ...1_1search_1_1Heuristic__inherit__graph.png | Bin 46451 -> 52833 bytes ...InvalidCanonicalWordException-members.html | 6 +- ...arch_1_1InvalidCanonicalWordException.html | 24 +- ...lidCanonicalWordException__coll__graph.map | 5 +- ...lidCanonicalWordException__coll__graph.md5 | 2 +- ...lidCanonicalWordException__coll__graph.png | Bin 6595 -> 6204 bytes ...CanonicalWordException__inherit__graph.map | 5 +- ...CanonicalWordException__inherit__graph.md5 | 2 +- ...CanonicalWordException__inherit__graph.png | Bin 6595 -> 6204 bytes ...1_1NumCanonicalWordsHeuristic-members.html | 6 +- ...1search_1_1NumCanonicalWordsHeuristic.html | 22 +- ...umCanonicalWordsHeuristic__coll__graph.map | 5 +- ...umCanonicalWordsHeuristic__coll__graph.md5 | 2 +- ...umCanonicalWordsHeuristic__coll__graph.png | Bin 8933 -> 9258 bytes ...anonicalWordsHeuristic__inherit__graph.map | 5 +- ...anonicalWordsHeuristic__inherit__graph.md5 | 2 +- ...anonicalWordsHeuristic__inherit__graph.png | Bin 8933 -> 9258 bytes ...ferEnvironmentActionHeuristic-members.html | 6 +- ...h_1_1PreferEnvironmentActionHeuristic.html | 26 +- ...nvironmentActionHeuristic__coll__graph.map | 5 +- ...nvironmentActionHeuristic__coll__graph.md5 | 2 +- ...nvironmentActionHeuristic__coll__graph.png | Bin 9245 -> 9614 bytes ...ronmentActionHeuristic__inherit__graph.map | 5 +- ...ronmentActionHeuristic__inherit__graph.md5 | 2 +- ...ronmentActionHeuristic__inherit__graph.png | Bin 9245 -> 9614 bytes ..._1_1search_1_1RandomHeuristic-members.html | 6 +- ...asstacos_1_1search_1_1RandomHeuristic.html | 28 +- ...search_1_1RandomHeuristic__coll__graph.map | 5 +- ...search_1_1RandomHeuristic__coll__graph.md5 | 2 +- ...search_1_1RandomHeuristic__coll__graph.png | Bin 7421 -> 8584 bytes ...rch_1_1RandomHeuristic__inherit__graph.map | 5 +- ...rch_1_1RandomHeuristic__inherit__graph.md5 | 2 +- ...rch_1_1RandomHeuristic__inherit__graph.png | Bin 7421 -> 8584 bytes ...s_1_1search_1_1SearchTreeNode-members.html | 6 +- ...lasstacos_1_1search_1_1SearchTreeNode.html | 40 +- ...os_1_1search_1_1TimeHeuristic-members.html | 6 +- ...classtacos_1_1search_1_1TimeHeuristic.html | 26 +- ..._1search_1_1TimeHeuristic__coll__graph.map | 5 +- ..._1search_1_1TimeHeuristic__coll__graph.md5 | 2 +- ..._1search_1_1TimeHeuristic__coll__graph.png | Bin 7266 -> 7500 bytes ...earch_1_1TimeHeuristic__inherit__graph.map | 5 +- ...earch_1_1TimeHeuristic__inherit__graph.md5 | 2 +- ...earch_1_1TimeHeuristic__inherit__graph.png | Bin 7266 -> 7500 bytes ...tacos_1_1search_1_1TreeSearch-members.html | 6 +- docs/classtacos_1_1search_1_1TreeSearch.html | 34 +- ..._1get__next__canonical__words-members.html | 6 +- ...search_1_1get__next__canonical__words.html | 22 +- ...01std5b4d2ecc3fe528c74cdadb62c529a8a9.html | 6 +- ...01std677052931eb97df2bfa7095cb0eaea18.html | 16 +- ...01Loc1753c26bfb81820825382aa4e765a435.html | 18 +- ...01Loc1826cb6f15ba10dc93709ba70b59f608.html | 6 +- ...s_1_1utilities_1_1QueueAccess-members.html | 6 +- ...lasstacos_1_1utilities_1_1QueueAccess.html | 20 +- ..._1_1utilities_1_1QueueClosedException.html | 18 +- ...s_1_1QueueClosedException__coll__graph.map | 5 +- ...s_1_1QueueClosedException__coll__graph.md5 | 2 +- ...s_1_1QueueClosedException__coll__graph.png | Bin 5882 -> 6157 bytes ..._1QueueClosedException__inherit__graph.map | 5 +- ..._1QueueClosedException__inherit__graph.md5 | 2 +- ..._1QueueClosedException__inherit__graph.png | Bin 5882 -> 6157 bytes ...1_1utilities_1_1QueueStartedException.html | 18 +- ..._1_1QueueStartedException__coll__graph.map | 5 +- ..._1_1QueueStartedException__coll__graph.md5 | 2 +- ..._1_1QueueStartedException__coll__graph.png | Bin 5863 -> 5929 bytes ...1QueueStartedException__inherit__graph.map | 5 +- ...1QueueStartedException__inherit__graph.md5 | 2 +- ...1QueueStartedException__inherit__graph.png | Bin 5863 -> 5929 bytes ...os_1_1utilities_1_1ThreadPool-members.html | 6 +- ...classtacos_1_1utilities_1_1ThreadPool.html | 28 +- ...ies_1_1arithmetic_1_1Interval-members.html | 6 +- ..._1utilities_1_1arithmetic_1_1Interval.html | 48 +-- ...tilities_1_1graphviz_1_1Graph-members.html | 6 +- ...cos_1_1utilities_1_1graphviz_1_1Graph.html | 28 +- ...utilities_1_1graphviz_1_1Node-members.html | 6 +- ...acos_1_1utilities_1_1graphviz_1_1Node.html | 14 +- docs/config_8h_source.html | 6 +- docs/create__controller_8h_source.html | 20 +- .../dir_1cf0597dfd0a2a8ad38cc974c5b34e72.html | 18 +- ...r_1cf0597dfd0a2a8ad38cc974c5b34e72_dep.map | 4 +- ...r_1cf0597dfd0a2a8ad38cc974c5b34e72_dep.png | Bin 2719 -> 3297 bytes .../dir_235b3d7df24a67208087ef35cf1b148b.html | 14 +- ...r_235b3d7df24a67208087ef35cf1b148b_dep.map | 6 +- ...r_235b3d7df24a67208087ef35cf1b148b_dep.png | Bin 2459 -> 2752 bytes .../dir_248eb81406a205c3574ff73d50870c9b.html | 12 +- ...r_248eb81406a205c3574ff73d50870c9b_dep.map | 6 +- ...r_248eb81406a205c3574ff73d50870c9b_dep.png | Bin 3111 -> 3368 bytes .../dir_2b699df33ee7706aaf9594f1d4c5968f.html | 38 +- ...r_2b699df33ee7706aaf9594f1d4c5968f_dep.map | 4 +- ...r_2b699df33ee7706aaf9594f1d4c5968f_dep.png | Bin 2141 -> 2595 bytes .../dir_2c51409c809e8ad66fa65b4037751a14.html | 18 +- ...r_2c51409c809e8ad66fa65b4037751a14_dep.map | 8 +- ...r_2c51409c809e8ad66fa65b4037751a14_dep.png | Bin 3587 -> 4048 bytes .../dir_361aa18dab794acdc3a2db1cfabafb75.html | 14 +- ...r_361aa18dab794acdc3a2db1cfabafb75_dep.map | 6 +- ...r_361aa18dab794acdc3a2db1cfabafb75_dep.png | Bin 4333 -> 4836 bytes .../dir_37d70478f080fb1392cc21460f642486.html | 12 +- ...r_37d70478f080fb1392cc21460f642486_dep.map | 6 +- ...r_37d70478f080fb1392cc21460f642486_dep.png | Bin 3723 -> 3998 bytes .../dir_385a7bd9de458a8ffebbd394f0c1a9b5.html | 12 +- ...r_385a7bd9de458a8ffebbd394f0c1a9b5_dep.map | 6 +- ...r_385a7bd9de458a8ffebbd394f0c1a9b5_dep.png | Bin 2500 -> 2862 bytes .../dir_3d9b60fe86db069cc94a2f1d6aa33c40.html | 14 +- ...r_3d9b60fe86db069cc94a2f1d6aa33c40_dep.map | 4 +- ...r_3d9b60fe86db069cc94a2f1d6aa33c40_dep.png | Bin 2419 -> 3169 bytes .../dir_3eebd773bd133485a9d81e457183826b.html | 12 +- ...r_3eebd773bd133485a9d81e457183826b_dep.map | 4 +- ...r_3eebd773bd133485a9d81e457183826b_dep.png | Bin 2268 -> 2827 bytes .../dir_4557b11146feb7d0939c56dd9c138888.html | 12 +- ...r_4557b11146feb7d0939c56dd9c138888_dep.map | 6 +- ...r_4557b11146feb7d0939c56dd9c138888_dep.png | Bin 3556 -> 4071 bytes .../dir_469c3d9b622ea1ad59cbff9e4f8ea49b.html | 12 +- ...r_469c3d9b622ea1ad59cbff9e4f8ea49b_dep.map | 4 +- ...r_469c3d9b622ea1ad59cbff9e4f8ea49b_dep.png | Bin 2289 -> 2681 bytes .../dir_4cb48877b5e460f351304b4574525efa.html | 30 +- ...r_4cb48877b5e460f351304b4574525efa_dep.map | 4 +- ...r_4cb48877b5e460f351304b4574525efa_dep.png | Bin 2000 -> 2643 bytes .../dir_5194e5fea318fda12687127c23f8aba1.html | 12 +- ...r_5194e5fea318fda12687127c23f8aba1_dep.map | 6 +- ...r_5194e5fea318fda12687127c23f8aba1_dep.png | Bin 2646 -> 2895 bytes .../dir_5800547bf29c200e9356cfd5412f35d8.html | 16 +- ...r_5800547bf29c200e9356cfd5412f35d8_dep.map | 4 +- ...r_5800547bf29c200e9356cfd5412f35d8_dep.png | Bin 2506 -> 3129 bytes .../dir_5d2382331b099a2ed32303e217c07a78.html | 14 +- ...r_5d2382331b099a2ed32303e217c07a78_dep.map | 6 +- ...r_5d2382331b099a2ed32303e217c07a78_dep.png | Bin 4844 -> 5249 bytes .../dir_5e53e25df8c865d23c4f0f620d3a69fb.html | 12 +- ...r_5e53e25df8c865d23c4f0f620d3a69fb_dep.map | 6 +- ...r_5e53e25df8c865d23c4f0f620d3a69fb_dep.png | Bin 3234 -> 3386 bytes .../dir_68267d1309a1af8e8297ef4c3efbcdba.html | 22 +- .../dir_7b5d38f1875f1b693f62ca6a108a1129.html | 16 +- ...r_7b5d38f1875f1b693f62ca6a108a1129_dep.map | 8 +- ...r_7b5d38f1875f1b693f62ca6a108a1129_dep.png | Bin 4262 -> 4640 bytes .../dir_7c2f2d2d99654f8da238c9d6523cfb31.html | 14 +- ...r_7c2f2d2d99654f8da238c9d6523cfb31_dep.map | 6 +- ...r_7c2f2d2d99654f8da238c9d6523cfb31_dep.png | Bin 2623 -> 2918 bytes .../dir_823499352154b052406556aecbf62257.html | 12 +- ...r_823499352154b052406556aecbf62257_dep.map | 4 +- ...r_823499352154b052406556aecbf62257_dep.png | Bin 1806 -> 2157 bytes .../dir_8de129cb8519f499f63ad44ed86fa94e.html | 12 +- ...r_8de129cb8519f499f63ad44ed86fa94e_dep.map | 6 +- ...r_8de129cb8519f499f63ad44ed86fa94e_dep.png | Bin 3956 -> 4104 bytes .../dir_9431b4c8176ebb6e76dcdf61ecf08d0d.html | 12 +- ...r_9431b4c8176ebb6e76dcdf61ecf08d0d_dep.map | 4 +- ...r_9431b4c8176ebb6e76dcdf61ecf08d0d_dep.png | Bin 1669 -> 1953 bytes .../dir_a73e654b0321b8ad623c727e8ebe0ef1.html | 28 +- ...r_a73e654b0321b8ad623c727e8ebe0ef1_dep.map | 4 +- ...r_a73e654b0321b8ad623c727e8ebe0ef1_dep.png | Bin 1828 -> 2442 bytes .../dir_b00de47ad7e2e13a637d9aa605dec95e.html | 12 +- ...r_b00de47ad7e2e13a637d9aa605dec95e_dep.map | 6 +- ...r_b00de47ad7e2e13a637d9aa605dec95e_dep.png | Bin 3710 -> 3855 bytes .../dir_bb7a85bd8b4644f9e37a2b329ac0f9db.html | 14 +- ...r_bb7a85bd8b4644f9e37a2b329ac0f9db_dep.map | 6 +- ...r_bb7a85bd8b4644f9e37a2b329ac0f9db_dep.png | Bin 3509 -> 3823 bytes .../dir_c8cdbe03c21a3c8c6f3318bb00b4202a.html | 14 +- ...r_c8cdbe03c21a3c8c6f3318bb00b4202a_dep.map | 6 +- ...r_c8cdbe03c21a3c8c6f3318bb00b4202a_dep.png | Bin 3694 -> 4200 bytes .../dir_daf9f063c5c8152d853a68cc5f74ba8d.html | 14 +- ...r_daf9f063c5c8152d853a68cc5f74ba8d_dep.map | 6 +- ...r_daf9f063c5c8152d853a68cc5f74ba8d_dep.png | Bin 3611 -> 4064 bytes .../dir_dd19b3312ce9f74e3609f5ce01ace194.html | 14 +- ...r_dd19b3312ce9f74e3609f5ce01ace194_dep.map | 6 +- ...r_dd19b3312ce9f74e3609f5ce01ace194_dep.png | Bin 3585 -> 3960 bytes .../dir_e2244f81e8d3ff39fff01656720e2d96.html | 12 +- ...r_e2244f81e8d3ff39fff01656720e2d96_dep.map | 6 +- ...r_e2244f81e8d3ff39fff01656720e2d96_dep.png | Bin 3643 -> 4035 bytes .../dir_ea10621939c99ae15f4aa2a80968040a.html | 16 +- ...r_ea10621939c99ae15f4aa2a80968040a_dep.map | 4 +- ...r_ea10621939c99ae15f4aa2a80968040a_dep.png | Bin 1707 -> 2013 bytes .../dir_ebbf12392611829121a9105da178e5d3.html | 14 +- ...r_ebbf12392611829121a9105da178e5d3_dep.map | 6 +- ...r_ebbf12392611829121a9105da178e5d3_dep.png | Bin 4285 -> 4738 bytes .../dir_f59c2417488457ad23ca6a0b2cb01ed3.html | 12 +- ...r_f59c2417488457ad23ca6a0b2cb01ed3_dep.map | 6 +- ...r_f59c2417488457ad23ca6a0b2cb01ed3_dep.png | Bin 3266 -> 3636 bytes docs/doc.png | Bin 746 -> 0 bytes docs/doc.svg | 12 + docs/docd.png | Bin 756 -> 0 bytes docs/docd.svg | 12 + docs/doxygen.css | 98 +++-- docs/doxygen.svg | 4 +- docs/files.html | 6 +- docs/folderclosed.png | Bin 616 -> 0 bytes docs/folderclosed.svg | 11 + docs/folderclosedd.svg | 11 + docs/folderopen.png | Bin 597 -> 0 bytes docs/folderopen.svg | 17 + docs/folderopend.svg | 12 + docs/functions.html | 6 +- docs/functions_b.html | 6 +- docs/functions_c.html | 6 +- docs/functions_d.html | 6 +- docs/functions_e.html | 6 +- docs/functions_enum.html | 8 +- docs/functions_f.html | 6 +- docs/functions_func.html | 8 +- docs/functions_func_b.html | 8 +- docs/functions_func_c.html | 8 +- docs/functions_func_d.html | 8 +- docs/functions_func_e.html | 8 +- docs/functions_func_f.html | 8 +- docs/functions_func_g.html | 8 +- docs/functions_func_h.html | 8 +- docs/functions_func_i.html | 8 +- docs/functions_func_l.html | 8 +- docs/functions_func_m.html | 8 +- docs/functions_func_n.html | 8 +- docs/functions_func_o.html | 8 +- docs/functions_func_p.html | 8 +- docs/functions_func_q.html | 8 +- docs/functions_func_r.html | 8 +- docs/functions_func_s.html | 8 +- docs/functions_func_t.html | 8 +- docs/functions_func_u.html | 8 +- docs/functions_func_w.html | 8 +- docs/functions_func_~.html | 8 +- docs/functions_g.html | 6 +- docs/functions_h.html | 6 +- docs/functions_i.html | 6 +- docs/functions_l.html | 6 +- docs/functions_m.html | 6 +- docs/functions_n.html | 6 +- docs/functions_o.html | 6 +- docs/functions_p.html | 6 +- docs/functions_q.html | 6 +- docs/functions_r.html | 6 +- docs/functions_rela.html | 10 +- docs/functions_s.html | 6 +- docs/functions_t.html | 6 +- docs/functions_type.html | 8 +- docs/functions_u.html | 6 +- docs/functions_vars.html | 8 +- docs/functions_w.html | 6 +- docs/functions_~.html | 6 +- docs/golog__adapter_8h_source.html | 34 +- docs/golog__adapter_8hpp_source.html | 18 +- ...p_2include_2golog__app_2app_8h_source.html | 14 +- docs/golog__program_8h_source.html | 251 +++++------ docs/golog__symbols_8h_source.html | 10 +- docs/graph_legend.html | 14 +- docs/graph_legend.md5 | 2 +- docs/graph_legend.png | Bin 20459 -> 23635 bytes docs/graphviz_8h_source.html | 40 +- docs/heuristics_8h_source.html | 48 +-- docs/hierarchy.html | 6 +- docs/index.html | 14 +- docs/inherit_graph_0.map | 80 ++-- docs/inherit_graph_0.md5 | 2 +- docs/inherit_graph_0.png | Bin 258564 -> 283868 bytes docs/inherit_graph_1.map | 5 +- docs/inherit_graph_1.md5 | 2 +- docs/inherit_graph_1.png | Bin 5096 -> 5557 bytes docs/inherit_graph_10.map | 2 +- docs/inherit_graph_10.md5 | 2 +- docs/inherit_graph_10.png | Bin 3885 -> 3764 bytes docs/inherit_graph_11.map | 2 +- docs/inherit_graph_11.md5 | 2 +- docs/inherit_graph_11.png | Bin 3705 -> 3670 bytes docs/inherit_graph_12.map | 2 +- docs/inherit_graph_12.md5 | 2 +- docs/inherit_graph_12.png | Bin 3024 -> 3375 bytes docs/inherit_graph_13.map | 2 +- docs/inherit_graph_13.md5 | 2 +- docs/inherit_graph_13.png | Bin 3869 -> 4040 bytes docs/inherit_graph_14.map | 2 +- docs/inherit_graph_14.md5 | 2 +- docs/inherit_graph_14.png | Bin 7006 -> 6842 bytes docs/inherit_graph_15.map | 2 +- docs/inherit_graph_15.md5 | 2 +- docs/inherit_graph_15.png | Bin 3348 -> 3601 bytes docs/inherit_graph_16.map | 2 +- docs/inherit_graph_16.md5 | 2 +- docs/inherit_graph_16.png | Bin 3193 -> 3348 bytes docs/inherit_graph_17.map | 2 +- docs/inherit_graph_17.md5 | 2 +- docs/inherit_graph_17.png | Bin 1412 -> 1624 bytes docs/inherit_graph_18.map | 2 +- docs/inherit_graph_18.md5 | 2 +- docs/inherit_graph_18.png | Bin 2317 -> 2447 bytes docs/inherit_graph_19.map | 2 +- docs/inherit_graph_19.md5 | 2 +- docs/inherit_graph_19.png | Bin 3738 -> 3905 bytes docs/inherit_graph_2.map | 5 +- docs/inherit_graph_2.md5 | 2 +- docs/inherit_graph_2.png | Bin 5947 -> 6262 bytes docs/inherit_graph_20.map | 2 +- docs/inherit_graph_20.md5 | 2 +- docs/inherit_graph_20.png | Bin 3809 -> 3983 bytes docs/inherit_graph_21.map | 2 +- docs/inherit_graph_21.md5 | 2 +- docs/inherit_graph_21.png | Bin 3468 -> 3861 bytes docs/inherit_graph_22.map | 2 +- docs/inherit_graph_22.md5 | 2 +- docs/inherit_graph_22.png | Bin 4442 -> 4569 bytes docs/inherit_graph_23.map | 2 +- docs/inherit_graph_23.md5 | 2 +- docs/inherit_graph_23.png | Bin 3497 -> 3942 bytes docs/inherit_graph_24.map | 2 +- docs/inherit_graph_24.md5 | 2 +- docs/inherit_graph_24.png | Bin 3304 -> 3402 bytes docs/inherit_graph_25.map | 2 +- docs/inherit_graph_25.md5 | 2 +- docs/inherit_graph_25.png | Bin 4765 -> 4741 bytes docs/inherit_graph_26.map | 2 +- docs/inherit_graph_26.md5 | 2 +- docs/inherit_graph_26.png | Bin 11212 -> 8707 bytes docs/inherit_graph_27.map | 2 +- docs/inherit_graph_27.md5 | 2 +- docs/inherit_graph_27.png | Bin 8887 -> 6625 bytes docs/inherit_graph_28.map | 2 +- docs/inherit_graph_28.md5 | 2 +- docs/inherit_graph_28.png | Bin 9597 -> 8099 bytes docs/inherit_graph_29.map | 2 +- docs/inherit_graph_29.md5 | 2 +- docs/inherit_graph_29.png | Bin 2413 -> 2510 bytes docs/inherit_graph_3.map | 17 +- docs/inherit_graph_3.md5 | 2 +- docs/inherit_graph_3.png | Bin 28570 -> 33108 bytes docs/inherit_graph_30.map | 2 +- docs/inherit_graph_30.md5 | 2 +- docs/inherit_graph_30.png | Bin 2425 -> 2619 bytes docs/inherit_graph_31.map | 23 +- docs/inherit_graph_31.md5 | 2 +- docs/inherit_graph_31.png | Bin 46346 -> 52882 bytes docs/inherit_graph_32.map | 2 +- docs/inherit_graph_32.md5 | 2 +- docs/inherit_graph_32.png | Bin 3862 -> 4148 bytes docs/inherit_graph_33.map | 2 +- docs/inherit_graph_33.md5 | 2 +- docs/inherit_graph_33.png | Bin 3093 -> 3144 bytes docs/inherit_graph_34.map | 2 +- docs/inherit_graph_34.md5 | 2 +- docs/inherit_graph_34.png | Bin 6006 -> 6355 bytes docs/inherit_graph_35.map | 2 +- docs/inherit_graph_35.md5 | 2 +- docs/inherit_graph_35.png | Bin 8548 -> 5901 bytes docs/inherit_graph_36.map | 2 +- docs/inherit_graph_36.md5 | 2 +- docs/inherit_graph_36.png | Bin 3566 -> 3733 bytes docs/inherit_graph_37.map | 2 +- docs/inherit_graph_37.md5 | 2 +- docs/inherit_graph_37.png | Bin 3023 -> 3452 bytes docs/inherit_graph_38.map | 2 +- docs/inherit_graph_38.md5 | 2 +- docs/inherit_graph_38.png | Bin 3779 -> 4183 bytes docs/inherit_graph_39.map | 2 +- docs/inherit_graph_39.md5 | 2 +- docs/inherit_graph_39.png | Bin 3191 -> 3246 bytes docs/inherit_graph_4.map | 14 +- docs/inherit_graph_4.md5 | 2 +- docs/inherit_graph_4.png | Bin 20640 -> 22858 bytes docs/inherit_graph_40.map | 2 +- docs/inherit_graph_40.md5 | 2 +- docs/inherit_graph_40.png | Bin 3077 -> 3129 bytes docs/inherit_graph_41.map | 2 +- docs/inherit_graph_41.md5 | 2 +- docs/inherit_graph_41.png | Bin 3329 -> 3694 bytes docs/inherit_graph_42.map | 2 +- docs/inherit_graph_42.md5 | 2 +- docs/inherit_graph_42.png | Bin 2783 -> 3310 bytes docs/inherit_graph_43.map | 2 +- docs/inherit_graph_43.md5 | 2 +- docs/inherit_graph_43.png | Bin 2952 -> 3491 bytes docs/inherit_graph_44.map | 2 +- docs/inherit_graph_44.md5 | 2 +- docs/inherit_graph_44.png | Bin 2952 -> 3491 bytes docs/inherit_graph_5.map | 2 +- docs/inherit_graph_5.md5 | 2 +- docs/inherit_graph_5.png | Bin 1987 -> 2068 bytes docs/inherit_graph_6.map | 2 +- docs/inherit_graph_6.md5 | 2 +- docs/inherit_graph_6.png | Bin 5266 -> 5212 bytes docs/inherit_graph_7.map | 2 +- docs/inherit_graph_7.md5 | 2 +- docs/inherit_graph_7.png | Bin 9882 -> 8794 bytes docs/inherit_graph_8.map | 23 +- docs/inherit_graph_8.md5 | 2 +- docs/inherit_graph_8.png | Bin 43007 -> 48619 bytes docs/inherit_graph_9.map | 2 +- docs/inherit_graph_9.md5 | 2 +- docs/inherit_graph_9.png | Bin 3021 -> 3324 bytes docs/inherits.html | 249 ++++++----- ...ractive__tree__to__graphviz_8h_source.html | 22 +- docs/menudata.js | 2 +- docs/mtl__proto_8h_source.html | 12 +- docs/namespacemembers.html | 6 +- docs/namespacemembers_enum.html | 8 +- docs/namespacemembers_func.html | 8 +- docs/namespacemembers_type.html | 8 +- docs/namespaces.html | 6 +- docs/namespacetacos_1_1app.html | 10 +- docs/namespacetacos_1_1automata.html | 30 +- docs/namespacetacos_1_1automata_1_1ata.html | 50 +-- docs/namespacetacos_1_1automata_1_1ta.html | 56 +-- docs/namespacetacos_1_1logic.html | 14 +- ...mespacetacos_1_1mtl__ata__translation.html | 42 +- docs/namespacetacos_1_1search.html | 140 +++--- ...spacetacos_1_1utilities_1_1arithmetic.html | 14 +- ...mespacetacos_1_1utilities_1_1graphviz.html | 16 +- docs/namespacetacos_1_1visualization.html | 26 +- docs/numbers_8h_source.html | 12 +- docs/operators_8h_source.html | 22 +- docs/powerset_8h_source.html | 6 +- docs/priority__thread__pool_8h_source.html | 38 +- docs/priority__thread__pool_8hpp_source.html | 405 +++++++++--------- docs/reg__a_8h_source.html | 14 +- docs/search/all_0.js | 2 +- docs/search/all_10.js | 4 +- docs/search/all_11.js | 6 +- docs/search/all_2.js | 10 +- docs/search/all_3.js | 2 +- docs/search/all_5.js | 4 +- docs/search/all_9.js | 8 +- docs/search/all_b.js | 2 +- docs/search/all_c.js | 10 +- docs/search/all_f.js | 4 +- docs/search/close.svg | 19 +- docs/search/mag.svg | 19 +- docs/search/mag_d.svg | 19 +- docs/search/mag_sel.svg | 53 +-- docs/search/mag_seld.svg | 59 +-- docs/search/related_0.js | 6 +- docs/search/search.js | 10 +- docs/search/typedefs_0.js | 2 +- docs/search/typedefs_1.js | 2 +- docs/search/typedefs_6.js | 2 +- docs/search/typedefs_a.js | 2 +- docs/search/variables_1.js | 4 +- docs/search/variables_5.js | 2 +- docs/search/variables_8.js | 2 +- docs/search/variables_9.js | 4 +- docs/search_8h_source.html | 78 ++-- docs/search__tree_8h_source.html | 56 +-- ...ing_005ed3073b2f2936258e8b6577b6a0ff73.map | 5 +- ...ing_005ed3073b2f2936258e8b6577b6a0ff73.md5 | 2 +- ...ing_005ed3073b2f2936258e8b6577b6a0ff73.png | Bin 9490 -> 7663 bytes ...ing_007be5c38df82f57218a3c6627a3b077f5.map | 5 +- ...ing_007be5c38df82f57218a3c6627a3b077f5.md5 | 2 +- ...ing_007be5c38df82f57218a3c6627a3b077f5.png | Bin 9490 -> 7663 bytes ...ng_00fd3dfe44de9dbd7fe02d1c2cf4d61988.html | 16 +- ...ckConscb285122168cd8a2e85faca1c619cead.map | 5 +- ...ckConscb285122168cd8a2e85faca1c619cead.md5 | 2 +- ...ckConscb285122168cd8a2e85faca1c619cead.png | Bin 7916 -> 7694 bytes ...automata_1_1ClockConstraint_01_4_01_4.html | 16 +- ...ClockConstraint_01_4_01_4__coll__graph.map | 5 +- ...ClockConstraint_01_4_01_4__coll__graph.md5 | 2 +- ...ClockConstraint_01_4_01_4__coll__graph.png | Bin 7916 -> 7694 bytes ...ationTbe392331cf9dd5539894e2545485ef25.map | 5 +- ...ationTbe392331cf9dd5539894e2545485ef25.md5 | 2 +- ...ationTbe392331cf9dd5539894e2545485ef25.png | Bin 10404 -> 9089 bytes ...tionTbf8998b863d612eb1996f21e9b038f5f.html | 16 +- ...ationTfab37c1fc4d6483206e1a96d2d19d5ed.map | 5 +- ...ationTfab37c1fc4d6483206e1a96d2d19d5ed.md5 | 2 +- ...ationTfab37c1fc4d6483206e1a96d2d19d5ed.png | Bin 10404 -> 9089 bytes ...chTre488b2b5b0353c26b97db80176ae1914f.html | 16 +- ...rchTre6e248e3b82ef8b679cbf82dc0b0dd0c9.map | 5 +- ...rchTre6e248e3b82ef8b679cbf82dc0b0dd0c9.md5 | 2 +- ...rchTre6e248e3b82ef8b679cbf82dc0b0dd0c9.png | Bin 11866 -> 9543 bytes ...rchTred5c92a482ee63dff6c0c57c1849264c0.map | 5 +- ...rchTred5c92a482ee63dff6c0c57c1849264c0.md5 | 2 +- ...rchTred5c92a482ee63dff6c0c57c1849264c0.png | Bin 11866 -> 9543 bytes ...Configuration_3_01LocationT_01_4_01_4.html | 16 +- ...n_3_01LocationT_01_4_01_4__coll__graph.map | 5 +- ...n_3_01LocationT_01_4_01_4__coll__graph.md5 | 2 +- ...n_3_01LocationT_01_4_01_4__coll__graph.png | Bin 6743 -> 6997 bytes ..._01LocationT_01_4_01_4__inherit__graph.map | 5 +- ..._01LocationT_01_4_01_4__inherit__graph.md5 | 2 +- ..._01LocationT_01_4_01_4__inherit__graph.png | Bin 6743 -> 6997 bytes ...icClockConstraintT_3_01Comp_01_4_01_4.html | 16 +- ...raintT_3_01Comp_01_4_01_4__coll__graph.map | 5 +- ...raintT_3_01Comp_01_4_01_4__coll__graph.md5 | 2 +- ...raintT_3_01Comp_01_4_01_4__coll__graph.png | Bin 7161 -> 7340 bytes ...ntT_3_01Comp_01_4_01_4__inherit__graph.map | 5 +- ...ntT_3_01Comp_01_4_01_4__inherit__graph.md5 | 2 +- ...ntT_3_01Comp_01_4_01_4__inherit__graph.png | Bin 7161 -> 7340 bytes ...s_1_1automata_1_1ClockConstraint_01_4.html | 16 +- ...a_1_1ClockConstraint_01_4__coll__graph.map | 5 +- ...a_1_1ClockConstraint_01_4__coll__graph.md5 | 2 +- ...a_1_1ClockConstraint_01_4__coll__graph.png | Bin 5946 -> 5979 bytes ..._1ClockConstraint_01_4__inherit__graph.map | 5 +- ..._1ClockConstraint_01_4__inherit__graph.md5 | 2 +- ..._1ClockConstraint_01_4__inherit__graph.png | Bin 5946 -> 5979 bytes ..._3_01LocationT_00_01SymbolT_01_4_01_4.html | 16 +- ...ionT_03d01033a68f756d0f4e4ad8449ae8722.map | 5 +- ...ionT_03d01033a68f756d0f4e4ad8449ae8722.md5 | 2 +- ...ionT_03d01033a68f756d0f4e4ad8449ae8722.png | Bin 8867 -> 8193 bytes ...ionT_0f1c300fe672b58223ecc744b9768c038.map | 5 +- ...ionT_0f1c300fe672b58223ecc744b9768c038.md5 | 2 +- ...ionT_0f1c300fe672b58223ecc744b9768c038.png | Bin 8867 -> 8193 bytes ...ta_1_1Formula_3_01LocationT_01_4_01_4.html | 16 +- ...a_3_01LocationT_01_4_01_4__coll__graph.map | 5 +- ...a_3_01LocationT_01_4_01_4__coll__graph.md5 | 2 +- ...a_3_01LocationT_01_4_01_4__coll__graph.png | Bin 6236 -> 6306 bytes ..._01LocationT_01_4_01_4__inherit__graph.map | 5 +- ..._01LocationT_01_4_01_4__inherit__graph.md5 | 2 +- ..._01LocationT_01_4_01_4__inherit__graph.png | Bin 6236 -> 6306 bytes ..._3_01LocationT_00_01SymbolT_01_4_01_4.html | 16 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.map | 5 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.md5 | 2 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.png | Bin 6980 -> 6688 bytes ...00_01SymbolT_01_4_01_4__inherit__graph.map | 5 +- ...00_01SymbolT_01_4_01_4__inherit__graph.md5 | 2 +- ...00_01SymbolT_01_4_01_4__inherit__graph.png | Bin 6980 -> 6688 bytes ...1ata_1_1State_3_01LocationT_01_4_01_4.html | 16 +- ...e_3_01LocationT_01_4_01_4__coll__graph.map | 5 +- ...e_3_01LocationT_01_4_01_4__coll__graph.md5 | 2 +- ...e_3_01LocationT_01_4_01_4__coll__graph.png | Bin 6385 -> 6417 bytes ..._01LocationT_01_4_01_4__inherit__graph.map | 5 +- ..._01LocationT_01_4_01_4__inherit__graph.md5 | 2 +- ..._01LocationT_01_4_01_4__inherit__graph.png | Bin 6385 -> 6417 bytes ..._3_01LocationT_00_01SymbolT_01_4_01_4.html | 16 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.map | 5 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.md5 | 2 +- ...nT_00_01SymbolT_01_4_01_4__coll__graph.png | Bin 7141 -> 7266 bytes ...00_01SymbolT_01_4_01_4__inherit__graph.map | 5 +- ...00_01SymbolT_01_4_01_4__inherit__graph.md5 | 2 +- ...00_01SymbolT_01_4_01_4__inherit__graph.png | Bin 7141 -> 7266 bytes ...a_1_1Location_3_01LocationT_01_4_01_4.html | 16 +- ...n_3_01LocationT_01_4_01_4__coll__graph.map | 5 +- ...n_3_01LocationT_01_4_01_4__coll__graph.md5 | 2 +- ...n_3_01LocationT_01_4_01_4__coll__graph.png | Bin 6347 -> 6355 bytes ..._01LocationT_01_4_01_4__inherit__graph.map | 5 +- ..._01LocationT_01_4_01_4__inherit__graph.md5 | 2 +- ..._01LocationT_01_4_01_4__inherit__graph.png | Bin 6347 -> 6355 bytes ...maton_3_01LocationT_00_01AP_01_4_01_4.html | 16 +- ...cationT_00_01AP_01_4_01_4__coll__graph.map | 5 +- ...cationT_00_01AP_01_4_01_4__coll__graph.md5 | 2 +- ...cationT_00_01AP_01_4_01_4__coll__graph.png | Bin 7156 -> 7192 bytes ...ionT_00_01AP_01_4_01_4__inherit__graph.map | 5 +- ...ionT_00_01AP_01_4_01_4__inherit__graph.md5 | 2 +- ...ionT_00_01AP_01_4_01_4__inherit__graph.png | Bin 7156 -> 7192 bytes ...ition_3_01LocationT_00_01AP_01_4_01_4.html | 16 +- ...cationT_00_01AP_01_4_01_4__coll__graph.map | 5 +- ...cationT_00_01AP_01_4_01_4__coll__graph.md5 | 2 +- ...cationT_00_01AP_01_4_01_4__coll__graph.png | Bin 6825 -> 6879 bytes ...ionT_00_01AP_01_4_01_4__inherit__graph.map | 5 +- ...ionT_00_01AP_01_4_01_4__inherit__graph.md5 | 2 +- ...ionT_00_01AP_01_4_01_4__inherit__graph.png | Bin 6825 -> 6879 bytes ...tomicProposition_3_01APType_01_4_01_4.html | 16 +- ...tion_3_01APType_01_4_01_4__coll__graph.map | 5 +- ...tion_3_01APType_01_4_01_4__coll__graph.md5 | 2 +- ...tion_3_01APType_01_4_01_4__coll__graph.png | Bin 7188 -> 7254 bytes ...n_3_01APType_01_4_01_4__inherit__graph.map | 5 +- ...n_3_01APType_01_4_01_4__inherit__graph.md5 | 2 +- ...n_3_01APType_01_4_01_4__inherit__graph.png | Bin 7188 -> 7254 bytes ...ic_1_1MTLFormula_3_01APType_01_4_01_4.html | 16 +- ...mula_3_01APType_01_4_01_4__coll__graph.map | 5 +- ...mula_3_01APType_01_4_01_4__coll__graph.md5 | 2 +- ...mula_3_01APType_01_4_01_4__coll__graph.png | Bin 6841 -> 6916 bytes ...a_3_01APType_01_4_01_4__inherit__graph.map | 5 +- ...a_3_01APType_01_4_01_4__inherit__graph.md5 | 2 +- ...a_3_01APType_01_4_01_4__inherit__graph.png | Bin 6841 -> 6916 bytes ...T_00_01ConstraintSymbolType_01_4_01_4.html | 16 +- ...raintSymbolType_01_4_01_4__coll__graph.map | 5 +- ...raintSymbolType_01_4_01_4__coll__graph.md5 | 2 +- ...raintSymbolType_01_4_01_4__coll__graph.png | Bin 9389 -> 8309 bytes ...ntSymbolType_01_4_01_4__inherit__graph.map | 5 +- ...ntSymbolType_01_4_01_4__inherit__graph.md5 | 2 +- ...ntSymbolType_01_4_01_4__inherit__graph.png | Bin 9389 -> 8309 bytes ...te_3_01ConstraintSymbolType_01_4_01_4.html | 16 +- ...raintSymbolType_01_4_01_4__coll__graph.map | 5 +- ...raintSymbolType_01_4_01_4__coll__graph.md5 | 2 +- ...raintSymbolType_01_4_01_4__coll__graph.png | Bin 8794 -> 7787 bytes ...ntSymbolType_01_4_01_4__inherit__graph.map | 5 +- ...ntSymbolType_01_4_01_4__inherit__graph.md5 | 2 +- ...ntSymbolType_01_4_01_4__inherit__graph.png | Bin 8794 -> 7787 bytes ...tacos_1_1search_1_1GologLocation_01_4.html | 16 +- ...rch_1_1GologLocation_01_4__coll__graph.map | 5 +- ...rch_1_1GologLocation_01_4__coll__graph.md5 | 2 +- ...rch_1_1GologLocation_01_4__coll__graph.png | Bin 6137 -> 5946 bytes ..._1_1GologLocation_01_4__inherit__graph.map | 5 +- ..._1_1GologLocation_01_4__inherit__graph.md5 | 2 +- ..._1_1GologLocation_01_4__inherit__graph.png | Bin 6137 -> 5946 bytes ...01tacos_1_1search_1_1LabelReason_01_4.html | 16 +- ...earch_1_1LabelReason_01_4__coll__graph.map | 5 +- ...earch_1_1LabelReason_01_4__coll__graph.md5 | 2 +- ...earch_1_1LabelReason_01_4__coll__graph.png | Bin 5685 -> 5706 bytes ...ch_1_1LabelReason_01_4__inherit__graph.map | 5 +- ...ch_1_1LabelReason_01_4__inherit__graph.md5 | 2 +- ...ch_1_1LabelReason_01_4__inherit__graph.png | Bin 5685 -> 5706 bytes ...3_01tacos_1_1search_1_1NodeLabel_01_4.html | 16 +- ...1search_1_1NodeLabel_01_4__coll__graph.map | 5 +- ...1search_1_1NodeLabel_01_4__coll__graph.md5 | 2 +- ...1search_1_1NodeLabel_01_4__coll__graph.png | Bin 5685 -> 6234 bytes ...arch_1_1NodeLabel_01_4__inherit__graph.map | 5 +- ...arch_1_1NodeLabel_01_4__inherit__graph.md5 | 2 +- ...arch_1_1NodeLabel_01_4__inherit__graph.png | Bin 5685 -> 6234 bytes ...3_01tacos_1_1search_1_1NodeState_01_4.html | 16 +- ...1search_1_1NodeState_01_4__coll__graph.map | 5 +- ...1search_1_1NodeState_01_4__coll__graph.md5 | 2 +- ...1search_1_1NodeState_01_4__coll__graph.png | Bin 5792 -> 5817 bytes ...arch_1_1NodeState_01_4__inherit__graph.map | 5 +- ...arch_1_1NodeState_01_4__inherit__graph.md5 | 2 +- ...arch_1_1NodeState_01_4__inherit__graph.png | Bin 5792 -> 5817 bytes ...ntRegionState_3_01LocationT_01_4_01_4.html | 16 +- ...e_3_01LocationT_01_4_01_4__coll__graph.map | 5 +- ...e_3_01LocationT_01_4_01_4__coll__graph.md5 | 2 +- ...e_3_01LocationT_01_4_01_4__coll__graph.png | Bin 7331 -> 6706 bytes ..._01LocationT_01_4_01_4__inherit__graph.map | 5 +- ..._01LocationT_01_4_01_4__inherit__graph.md5 | 2 +- ..._01LocationT_01_4_01_4__inherit__graph.png | Bin 7331 -> 6706 bytes ...00_01C55d83451d7653bdc3910729e7f516c3b.map | 5 +- ...00_01C55d83451d7653bdc3910729e7f516c3b.md5 | 2 +- ...00_01C55d83451d7653bdc3910729e7f516c3b.png | Bin 9633 -> 8206 bytes ...00_01Ce90ff5f24446f785eae1a3a740b47f8b.map | 5 +- ...00_01Ce90ff5f24446f785eae1a3a740b47f8b.md5 | 2 +- ...00_01Ce90ff5f24446f785eae1a3a740b47f8b.png | Bin 9633 -> 8206 bytes ...e_00_01ConstraintSymbolType_01_4_01_4.html | 16 +- ...01tacos_1_1visualization_1_1Mode_01_4.html | 16 +- ...isualization_1_1Mode_01_4__coll__graph.map | 5 +- ...isualization_1_1Mode_01_4__coll__graph.md5 | 2 +- ...isualization_1_1Mode_01_4__coll__graph.png | Bin 5808 -> 5770 bytes ...alization_1_1Mode_01_4__inherit__graph.map | 5 +- ...alization_1_1Mode_01_4__inherit__graph.md5 | 2 +- ...alization_1_1Mode_01_4__inherit__graph.png | Bin 5808 -> 5770 bytes ...cttacos_1_1PlantConfiguration-members.html | 6 +- docs/structtacos_1_1PlantConfiguration.html | 20 +- ...s_1_1automata_1_1ata_1_1State-members.html | 6 +- ...ructtacos_1_1automata_1_1ata_1_1State.html | 12 +- ..._1ta_1_1TimedAutomatonRegions-members.html | 6 +- ...tomata_1_1ta_1_1TimedAutomatonRegions.html | 8 +- ...1_1logic_1_1AtomicProposition-members.html | 6 +- ...cttacos_1_1logic_1_1AtomicProposition.html | 10 +- ...s_1_1search_1_1ATARegionState-members.html | 6 +- ...ructtacos_1_1search_1_1ATARegionState.html | 19 +- ...1search_1_1ATARegionState__coll__graph.map | 5 +- ...1search_1_1ATARegionState__coll__graph.md5 | 2 +- ...1search_1_1ATARegionState__coll__graph.png | Bin 10403 -> 10690 bytes ...os_1_1search_1_1GologLocation-members.html | 6 +- ...tructtacos_1_1search_1_1GologLocation.html | 16 +- ...1_1search_1_1PlantRegionState-members.html | 6 +- ...cttacos_1_1search_1_1PlantRegionState.html | 16 +- ...tacos_1_1search_1_1PlantState-members.html | 6 +- docs/structtacos_1_1search_1_1PlantState.html | 16 +- ...ties_1_1ApproxFloatComparator-members.html | 6 +- ...1_1utilities_1_1ApproxFloatComparator.html | 10 +- ...ilities_1_1CompareFirstOfPair-members.html | 6 +- ...os_1_1utilities_1_1CompareFirstOfPair.html | 12 +- ...1_1utilities_1_1values__equal-members.html | 6 +- ...cttacos_1_1utilities_1_1values__equal.html | 22 +- ...tilities_1_1values__equal__coll__graph.map | 5 +- ...tilities_1_1values__equal__coll__graph.md5 | 2 +- ...tilities_1_1values__equal__coll__graph.png | Bin 5966 -> 6584 bytes ...ities_1_1values__equal__inherit__graph.map | 5 +- ...ities_1_1values__equal__inherit__graph.md5 | 2 +- ...ities_1_1values__equal__inherit__graph.png | Bin 5966 -> 6584 bytes docs/synchronous__product_8h_source.html | 38 +- docs/ta_8h_source.html | 106 ++--- docs/ta_8hpp_source.html | 74 ++-- docs/ta__adapter_8h_source.html | 36 +- docs/ta__product_8h_source.html | 16 +- docs/ta__product_8hpp_source.html | 20 +- docs/ta__proto_8h_source.html | 16 +- docs/ta__proto_8hpp_source.html | 24 +- docs/ta__regions_8h_source.html | 32 +- docs/ta__regions_8hpp_source.html | 24 +- docs/ta__to__graphviz_8h_source.html | 32 +- docs/to__string_8h_source.html | 6 +- docs/translator_8h_source.html | 14 +- docs/translator_8hpp_source.html | 70 +-- docs/tree__to__graphviz_8h_source.html | 44 +- docs/type__traits_8h_source.html | 10 +- docs/types_8h_source.html | 26 +- 847 files changed, 4083 insertions(+), 3745 deletions(-) delete mode 100644 docs/bdwn.png delete mode 100644 docs/doc.png create mode 100644 docs/doc.svg delete mode 100644 docs/docd.png create mode 100644 docs/docd.svg delete mode 100644 docs/folderclosed.png create mode 100644 docs/folderclosed.svg create mode 100644 docs/folderclosedd.svg delete mode 100644 docs/folderopen.png create mode 100644 docs/folderopen.svg create mode 100644 docs/folderopend.svg diff --git a/docs/Interval_8h_source.html b/docs/Interval_8h_source.html index af4a71b9..3365c3ab 100644 --- a/docs/Interval_8h_source.html +++ b/docs/Interval_8h_source.html @@ -3,7 +3,7 @@ - + tacos: src/utilities/include/utilities/Interval.h Source File @@ -30,7 +30,7 @@ - + @@ -30,7 +30,7 @@ - +