diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 0000000..e69de29 diff --git a/doxygen/annotated.html b/doxygen/annotated.html new file mode 100644 index 0000000..73947b3 --- /dev/null +++ b/doxygen/annotated.html @@ -0,0 +1,131 @@ + + +
+ + + + +
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
Cans_trait | |
Cans_trait< MaxMinSemiring< double > > | |
Cans_trait< MaxMinSemiring< int > > | |
Cans_trait< MinPlusSemiring< double > > | |
Cans_trait< MinPlusSemiring< int > > | |
CBooleanSemiring | |
CBoostTAState | |
CBoostTATransition | |
CBoostZoneGraphState | |
CConstraint | A constraint in a guard of transitions |
CConstraintMaker | |
CDBM | Implementation of a zone with DBM DBM For the detail of DBMs, see for example [BY03] |
CMaxMinSemiring | |
CMaxPlusSemiring | |
CMinPlusSemiring | |
Cnum_type_trait | |
Cnum_type_trait< signed char > | |
Cnum_type_trait< unsigned char > | |
CQuantitativeTimedPatternMatching | A class to execute quantitative timed pattern matching |
CResetVars | |
Cweight_label_writer | |
CZoneGraphLabelWriter |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for BooleanSemiring, including all inherited members.
+BooleanSemiring(bool data=false) (defined in BooleanSemiring) | BooleanSemiring | inline |
data (defined in BooleanSemiring) | BooleanSemiring | |
one() (defined in BooleanSemiring) | BooleanSemiring | inlinestatic |
operator!=(const BooleanSemiring &x) const (defined in BooleanSemiring) | BooleanSemiring | inline |
operator*(const BooleanSemiring &x) const (defined in BooleanSemiring) | BooleanSemiring | inline |
operator*=(const BooleanSemiring &x) (defined in BooleanSemiring) | BooleanSemiring | inline |
operator+(const BooleanSemiring &x) const (defined in BooleanSemiring) | BooleanSemiring | inline |
operator+=(const BooleanSemiring &x) (defined in BooleanSemiring) | BooleanSemiring | inline |
operator==(const BooleanSemiring &x) const (defined in BooleanSemiring) | BooleanSemiring | inline |
star() const (defined in BooleanSemiring) | BooleanSemiring | inline |
zero() (defined in BooleanSemiring) | BooleanSemiring | inlinestatic |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+Public Member Functions | |
+ | BooleanSemiring (bool data=false) |
+BooleanSemiring | operator+ (const BooleanSemiring &x) const |
+void | operator+= (const BooleanSemiring &x) |
+BooleanSemiring | operator* (const BooleanSemiring &x) const |
+void | operator*= (const BooleanSemiring &x) |
+bool | operator!= (const BooleanSemiring &x) const |
+bool | operator== (const BooleanSemiring &x) const |
+BooleanSemiring | star () const |
+Static Public Member Functions | |
+static BooleanSemiring | zero () |
+static BooleanSemiring | one () |
+Public Attributes | |
+bool | data |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for ConstraintMaker< ClockVariables >, including all inherited members.
+ConstraintMaker(ClockVariables x) (defined in ConstraintMaker< ClockVariables >) | ConstraintMaker< ClockVariables > | inline |
operator<(int c) (defined in ConstraintMaker< ClockVariables >) | ConstraintMaker< ClockVariables > | inline |
operator<=(int c) (defined in ConstraintMaker< ClockVariables >) | ConstraintMaker< ClockVariables > | inline |
operator>(int c) (defined in ConstraintMaker< ClockVariables >) | ConstraintMaker< ClockVariables > | inline |
operator>=(int c) (defined in ConstraintMaker< ClockVariables >) | ConstraintMaker< ClockVariables > | inline |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+Public Member Functions | |
+ | ConstraintMaker (ClockVariables x) |
+Constraint< ClockVariables > | operator< (int c) |
+Constraint< ClockVariables > | operator<= (int c) |
+Constraint< ClockVariables > | operator> (int c) |
+Constraint< ClockVariables > | operator>= (int c) |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for MaxMinSemiring< Base >, including all inherited members.
+data (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | |
MaxMinSemiring(Base data=std::numeric_limits< Base >::infinity()) (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
one() (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inlinestatic |
operator!=(const MaxMinSemiring &x) const (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
operator*(const MaxMinSemiring &x) const (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
operator*=(const MaxMinSemiring &x) (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
operator+(const MaxMinSemiring &x) const (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
operator+=(const MaxMinSemiring &x) (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
operator==(const MaxMinSemiring &x) const (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
star() const (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inline |
zero() (defined in MaxMinSemiring< Base >) | MaxMinSemiring< Base > | inlinestatic |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+Public Member Functions | |
+ | MaxMinSemiring (Base data=std::numeric_limits< Base >::infinity()) |
+MaxMinSemiring | operator+ (const MaxMinSemiring &x) const |
+void | operator+= (const MaxMinSemiring &x) |
+MaxMinSemiring | operator* (const MaxMinSemiring &x) const |
+void | operator*= (const MaxMinSemiring &x) |
+bool | operator!= (const MaxMinSemiring &x) const |
+bool | operator== (const MaxMinSemiring &x) const |
+MaxMinSemiring | star () const |
+Static Public Member Functions | |
+static MaxMinSemiring | one () |
+static MaxMinSemiring | zero () |
+Public Attributes | |
+Base | data |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for MaxPlusSemiring< Base >, including all inherited members.
+data (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | |
MaxPlusSemiring(Base data=0) (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
one() (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inlinestatic |
operator!=(const MaxPlusSemiring &x) const (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
operator*(const MaxPlusSemiring &x) const (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
operator*=(const MaxPlusSemiring &x) (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
operator+(const MaxPlusSemiring &x) const (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
operator+=(const MaxPlusSemiring &x) (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
operator==(const MaxPlusSemiring &x) const (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
star() const (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inline |
zero() (defined in MaxPlusSemiring< Base >) | MaxPlusSemiring< Base > | inlinestatic |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+Public Member Functions | |
+ | MaxPlusSemiring (Base data=0) |
+MaxPlusSemiring | operator+ (const MaxPlusSemiring &x) const |
+void | operator+= (const MaxPlusSemiring &x) |
+MaxPlusSemiring | operator* (const MaxPlusSemiring &x) const |
+void | operator*= (const MaxPlusSemiring &x) |
+bool | operator!= (const MaxPlusSemiring &x) const |
+bool | operator== (const MaxPlusSemiring &x) const |
+MaxPlusSemiring | star () const |
+Static Public Member Functions | |
+static MaxPlusSemiring | zero () |
+static MaxPlusSemiring | one () |
+Public Attributes | |
+Base | data |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for MinPlusSemiring< Base >, including all inherited members.
+data (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | |
MinPlusSemiring(Base data=0) (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
one() (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inlinestatic |
operator!=(const MinPlusSemiring &x) const (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
operator*(const MinPlusSemiring &x) const (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
operator*=(const MinPlusSemiring &x) (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
operator+(const MinPlusSemiring &x) const (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
operator+=(const MinPlusSemiring &x) (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
operator==(const MinPlusSemiring &x) const (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
star() const (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inline |
zero() (defined in MinPlusSemiring< Base >) | MinPlusSemiring< Base > | inlinestatic |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+Public Member Functions | |
+ | MinPlusSemiring (Base data=0) |
+MinPlusSemiring | operator+ (const MinPlusSemiring &x) const |
+void | operator+= (const MinPlusSemiring &x) |
+MinPlusSemiring | operator* (const MinPlusSemiring &x) const |
+void | operator*= (const MinPlusSemiring &x) |
+bool | operator!= (const MinPlusSemiring &x) const |
+bool | operator== (const MinPlusSemiring &x) const |
+MinPlusSemiring | star () const |
+Static Public Member Functions | |
+static MinPlusSemiring | zero () |
+static MinPlusSemiring | one () |
+Public Attributes | |
+Base | data |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This is the complete list of members for QuantitativeTimedPatternMatching< SignalVariables, ClockVariables, Weight, Value >, including all inherited members.
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
A class to execute quantitative timed pattern matching. + More...
+ +#include <quantitative_timed_pattern_matching.hh>
+Public Types | |
+using | ResultMatrix = std::array< Bounds, 6 > |
+Public Member Functions | |
+ | QuantitativeTimedPatternMatching (const TimedAutomaton &TA, const std::vector< TAState > &initStates, const std::function< Weight(const std::vector< Constraint< ClockVariables >> &, const std::vector< std::vector< Value >> &)> &cost, const bool ignoreZero=false) |
void | feed (const std::vector< Value > &valuation, const double duration) |
feed one valuation with dwell time More... | |
+void | getResult (boost::unordered_map< ResultMatrix, Weight > &v) const |
+boost::unordered_map< ResultMatrix, Weight > & | getResultRef () |
A class to execute quantitative timed pattern matching.
+The following shows the outline of the algorithm for quantitative timed pattern matching:
+We use the zone graph for generalized reachability analysis since the transition and the switching of the signal values are asynchronous.
+The usage of each element in the DBM is as follows.
+
+
|
+ +inline | +
feed one valuation with dwell time
+In this function, a piece of the entire piecewise constant function is fed and the matching ending in this piece is added to this->result. See Outline of the Automata-Based Algorithm for Quantitative Timed Pattern Matching for the outline of the algorithm.
+[in] | valuation | The new signal valuation |
[in] | duration | The duration of the given signal valuation |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
▼ src | |
bellman_ford.hh | |
constraint.hh | |
dbm.hh | |
quantitative_timed_pattern_matching.hh | |
robustness.hh | |
timed_automaton.hh | |
warshall_froid.hh | |
weighted_graph.hh | |
zone_graph.hh |
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
This page explains how to interpret the graphs that are generated by doxygen.
+Consider the following example:
This will result in the following graph:
+The boxes in the above graph have the following meaning:
+The arrows have the following meaning:
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
+ Quantitative Timed Pattern Matching Developers Manual
+ 0.1.0
+
+ |
+
Todo List | |
Bibliography |