Public Types |
Public Member Functions |
Protected Types |
Protected Attributes |
List of all members
faudes::TimeConstraint Class Reference A TimeConstraint is a set of elementary clock constraints. More...
Detailed DescriptionA TimeConstraint is a set of elementary clock constraints. Semantically, the elementary constraints are combibed by conjunction, ie the TimeConstraint is satisfied if all ElemConstraint s are satisfied. This implementation also maintains the clock symboltable to may cloc indices to symbolic names.
Definition at line 279 of file tp_timeconstraint.h. Member Typedef Documentation
Iterator to access ElemConstraints. Definition at line 284 of file tp_timeconstraint.h.
nonconst iterator to access ElemConstraints Definition at line 810 of file tp_timeconstraint.h. Convenience typedef for operators. Definition at line 290 of file tp_timeconstraint.h.
Reverse iterator to access ElemConstraints. Definition at line 287 of file tp_timeconstraint.h. Constructor & Destructor Documentation
Construct an empty TimeConstraint (allways satisfied) Definition at line 196 of file tp_timeconstraint.cpp.
Copy constructor.
Definition at line 210 of file tp_timeconstraint.cpp.
Constructor from file. Uses Read() to scan a file for specified label to read the constraint.
Definition at line 203 of file tp_timeconstraint.cpp.
Destructor. Definition at line 219 of file tp_timeconstraint.cpp. Member Function Documentation
Returns a Clockset containing all clocks used by the TimeConstraint.
Definition at line 450 of file tp_timeconstraint.cpp.
Iterator to begin of set.
Definition at line 419 of file tp_timeconstraint.cpp.
Iterator to first constraint with specified clock.
Definition at line 440 of file tp_timeconstraint.cpp.
Clear all. Definition at line 411 of file tp_timeconstraint.cpp.
Returns copy of ClockConstraints. Definition at line 335 of file tp_timeconstraint.cpp.
Lookup clock index.
Definition at line 260 of file tp_timeconstraint.cpp.
Lookup clock name.
Definition at line 255 of file tp_timeconstraint.cpp.
Get Pointer to mpClockSymbolTable.
Definition at line 223 of file tp_timeconstraint.cpp.
Set Pointer to mpClockSymbolTable. Definition at line 228 of file tp_timeconstraint.cpp.
Write NameSet to console, debug version. Definition at line 624 of file tp_timeconstraint.cpp.
Write to TokenWriter, debug version.
Definition at line 630 of file tp_timeconstraint.cpp.
Checks if TimeConstraint containts no ElemConstraints.
Definition at line 240 of file tp_timeconstraint.cpp.
Iterator to end of set.
Definition at line 425 of file tp_timeconstraint.cpp.
Iterator to first constraint just behind specified clock.
Definition at line 445 of file tp_timeconstraint.cpp.
Calls std::set::erase(iterator). ElemConstraint refered by it is removed from constraint.
Definition at line 359 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 370 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 391 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 382 of file tp_timeconstraint.cpp.
Removes all elementary clock constraints refering to a specified clock.
Definition at line 341 of file tp_timeconstraint.cpp.
Pretty printable string of elem. constraint
Definition at line 266 of file tp_timeconstraint.cpp.
Checks if elementary clock constraint is contained in constraint.
Definition at line 400 of file tp_timeconstraint.cpp.
Advertise clock to ClockSymbolTable and retrive index.
Definition at line 250 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 276 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 296 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 287 of file tp_timeconstraint.cpp.
Adds a list of elementary clock constraints to the time constraint.
Definition at line 308 of file tp_timeconstraint.cpp.
Adds elementary clock constraints from other TimeConstant to the time constraint.
Definition at line 319 of file tp_timeconstraint.cpp.
Given a clock, compute the timeinterval in which the constraint is satisfied.
Definition at line 469 of file tp_timeconstraint.cpp.
Given a clock, compute the timeinterval in which the constraint is satisfied.
Definition at line 463 of file tp_timeconstraint.cpp.
Given a clock and an interval, set up the constraint such that it is valid in the given interval.
Definition at line 507 of file tp_timeconstraint.cpp.
Given a clock and an interval, set up the constraint such that it is valid in the given interval.
Definition at line 501 of file tp_timeconstraint.cpp.
Minimize by eliminating redundant elementary constraints. The current implemantation retrieves the time constraints as intervals per clock and then converts back to a time constraint. Definition at line 534 of file tp_timeconstraint.cpp.
Set name of Constraint.
Definition at line 453 of file tp_timeconstraint.h.
Test for equality.
Definition at line 556 of file tp_timeconstraint.cpp.
Convenience operator to combine a TimeConstraint with another TimeConstraint.
Definition at line 533 of file tp_timeconstraint.h.
Convenience operator to combines a TimeConstraint with an elementary TimeConstraint.
Definition at line 544 of file tp_timeconstraint.h.
Test for equality. The implementation converts both constraints to intervals and then performs the comparison.
Definition at line 544 of file tp_timeconstraint.cpp.
Reverse iterator that yields the ElemConstraints in reverse order starting at the last element and ending after the first. See set<...>::rbegin(void). Returns the "End".
Definition at line 430 of file tp_timeconstraint.cpp.
Read from file. Reads specified label by creating a tokenreader and calling read(tr)
Definition at line 641 of file tp_timeconstraint.cpp.
Read from tokenreader. Clears before. It is an error if the file contains an index
Definition at line 647 of file tp_timeconstraint.cpp.
Reverse iterator that yields the ElemConstraints in reverse order starting at the last element and ending after the first. See set<...>::rend(void). Returns the "Begin".
Definition at line 435 of file tp_timeconstraint.cpp.
Returns number of ElemConstraint s.
Definition at line 245 of file tp_timeconstraint.cpp.
Write to a std::string.
Definition at line 616 of file tp_timeconstraint.cpp.
Write to console. Definition at line 562 of file tp_timeconstraint.cpp.
Write to file with label (default: "TimeConstraint") and openmode (default: truncate file).
Definition at line 568 of file tp_timeconstraint.cpp.
Write to TokenWriter. The name of the constraint is used as the label in the file.
Definition at line 582 of file tp_timeconstraint.cpp.
Write to TokenWriter with a given label.
Definition at line 588 of file tp_timeconstraint.cpp. Member Data Documentation
Set of elementary clock constraints. Definition at line 804 of file tp_timeconstraint.h.
My name. Definition at line 801 of file tp_timeconstraint.h.
SymbolTable for clock names. Definition at line 807 of file tp_timeconstraint.h. The documentation for this class was generated from the following files: libFAUDES 2.26g --- 2015.08.17 --- c++ api documentaion by doxygen |