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 276 of file tp_timeconstraint.h. Member Typedef Documentation
Iterator to access ElemConstraints. Definition at line 281 of file tp_timeconstraint.h.
nonconst iterator to access ElemConstraints Definition at line 807 of file tp_timeconstraint.h. Convenience typedef for operators. Definition at line 287 of file tp_timeconstraint.h.
Reverse iterator to access ElemConstraints. Definition at line 284 of file tp_timeconstraint.h. Constructor & Destructor Documentation
Construct an empty TimeConstraint (allways satisfied) Definition at line 198 of file tp_timeconstraint.cpp.
Copy constructor.
Definition at line 212 of file tp_timeconstraint.cpp.
Constructor from file. Uses Read() to scan a file for specified label to read the constraint.
Definition at line 205 of file tp_timeconstraint.cpp.
Destructor. Definition at line 221 of file tp_timeconstraint.cpp. Member Function Documentation
Returns a Clockset containing all clocks used by the TimeConstraint.
Definition at line 452 of file tp_timeconstraint.cpp.
Iterator to begin of set.
Definition at line 421 of file tp_timeconstraint.cpp.
Iterator to first constraint with specified clock.
Definition at line 442 of file tp_timeconstraint.cpp.
Clear all. Definition at line 413 of file tp_timeconstraint.cpp.
Returns copy of ClockConstraints. Definition at line 337 of file tp_timeconstraint.cpp.
Lookup clock index.
Definition at line 262 of file tp_timeconstraint.cpp.
Lookup clock name.
Definition at line 257 of file tp_timeconstraint.cpp.
Get Pointer to mpClockSymbolTable.
Definition at line 225 of file tp_timeconstraint.cpp.
Set Pointer to mpClockSymbolTable. Definition at line 230 of file tp_timeconstraint.cpp.
Write NameSet to console, debug version. Definition at line 626 of file tp_timeconstraint.cpp.
Write to TokenWriter, debug version.
Definition at line 632 of file tp_timeconstraint.cpp.
Checks if TimeConstraint containts no ElemConstraints.
Definition at line 242 of file tp_timeconstraint.cpp.
Iterator to end of set.
Definition at line 427 of file tp_timeconstraint.cpp.
Iterator to first constraint just behind specified clock.
Definition at line 447 of file tp_timeconstraint.cpp.
Calls std::set::erase(iterator). ElemConstraint refered by it is removed from constraint.
Definition at line 361 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 372 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 393 of file tp_timeconstraint.cpp.
Removes elementary clock constraint.
Definition at line 384 of file tp_timeconstraint.cpp.
Removes all elementary clock constraints refering to a specified clock.
Definition at line 343 of file tp_timeconstraint.cpp.
Pretty printable string of elem. constraint
Definition at line 268 of file tp_timeconstraint.cpp.
Checks if elementary clock constraint is contained in constraint.
Definition at line 402 of file tp_timeconstraint.cpp.
Advertise clock to ClockSymbolTable and retrive index.
Definition at line 252 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 278 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 298 of file tp_timeconstraint.cpp.
Adds an elementary clock constraint to the time constraint.
Definition at line 289 of file tp_timeconstraint.cpp.
Adds a list of elementary clock constraints to the time constraint.
Definition at line 310 of file tp_timeconstraint.cpp.
Adds elementary clock constraints from other TimeConstant to the time constraint.
Definition at line 321 of file tp_timeconstraint.cpp.
Given a clock, compute the timeinterval in which the constraint is satisfied.
Definition at line 471 of file tp_timeconstraint.cpp.
Given a clock, compute the timeinterval in which the constraint is satisfied.
Definition at line 465 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 509 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 503 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 536 of file tp_timeconstraint.cpp.
Set name of Constraint.
Definition at line 450 of file tp_timeconstraint.h.
Test for equality.
Definition at line 558 of file tp_timeconstraint.cpp.
Convenience operator to combine a TimeConstraint with another TimeConstraint.
Definition at line 530 of file tp_timeconstraint.h.
Convenience operator to combines a TimeConstraint with an elementary TimeConstraint.
Definition at line 541 of file tp_timeconstraint.h.
Test for equality. The implementation converts both constraints to intervals and then performs the comparison.
Definition at line 546 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 432 of file tp_timeconstraint.cpp.
Read from file. Reads specified label by creating a tokenreader and calling read(tr)
Definition at line 643 of file tp_timeconstraint.cpp.
Read from tokenreader. Clears before. It is an error if the file contains an index
Definition at line 649 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 437 of file tp_timeconstraint.cpp.
Returns number of ElemConstraint s.
Definition at line 247 of file tp_timeconstraint.cpp.
Write to a std::string.
Definition at line 618 of file tp_timeconstraint.cpp.
Write to console. Definition at line 564 of file tp_timeconstraint.cpp.
Write to file with label (default: "TimeConstraint") and openmode (default: truncate file).
Definition at line 570 of file tp_timeconstraint.cpp.
Write to TokenWriter. The name of the constraint is used as the label in the file.
Definition at line 584 of file tp_timeconstraint.cpp.
Write to TokenWriter with a given label.
Definition at line 590 of file tp_timeconstraint.cpp. Member Data Documentation
Set of elementary clock constraints. Definition at line 801 of file tp_timeconstraint.h.
My name. Definition at line 798 of file tp_timeconstraint.h.
SymbolTable for clock names. Definition at line 804 of file tp_timeconstraint.h. The documentation for this class was generated from the following files: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |