diff options
author | Jan Pokorný <jpokorny@redhat.com> | 2014-03-14 00:24:39 +0100 |
---|---|---|
committer | Jan Pokorný <jpokorny@redhat.com> | 2014-03-14 00:24:39 +0100 |
commit | 5497f8d5db714eaa31ab879509c4f250bad8cdff (patch) | |
tree | c3e76afa149479f06b8002de72c8e95ffebc4779 /doc | |
parent | 7c3234af010ce844060101bba97a4acb981ce308 (diff) | |
download | clufter-5497f8d5db714eaa31ab879509c4f250bad8cdff.tar.gz clufter-5497f8d5db714eaa31ab879509c4f250bad8cdff.tar.xz clufter-5497f8d5db714eaa31ab879509c4f250bad8cdff.zip |
doc/rgmanager-pacemaker.resources: further extend symbols explanation
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rgmanager-pacemaker.resources.txt | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/doc/rgmanager-pacemaker.resources.txt b/doc/rgmanager-pacemaker.resources.txt index a18dc97..17eb6b9 100644 --- a/doc/rgmanager-pacemaker.resources.txt +++ b/doc/rgmanager-pacemaker.resources.txt @@ -31,20 +31,23 @@ Optionally, basic knowledge of LTL logic [1]. The meaning of symbols used (mind the ASCII range) goes, ordered by descending precedence priority, like this: -. a-z ... booleans representing satisfaction of the connected claim -. () ... braces (changing evaluation order of enclosed expression) -. in ... set's item selector -. ~ ... negation -. X,G,F,U,R ... temporal operators (LTL) -. AND ... conjuction -. OR ... disjunction -. exists ... existential quantifier (predicate logic) -. for all ... universal quantifier (predicate logic) -. -> ... implication +. a-z ... booleans representing satisfaction of the connected claim +. () ... braces (changing evaluation order of enclosed expression) +. union ... set union +. intersection ... set intersection +. \ ... set difference +. in ... set's item selector +. ~ ... negation +. X,G,F,U,R ... temporal operators (LTL) +. AND ... conjuction +. OR ... disjunction +. exists ... existential quantifier (predicate logic) +. for all ... universal quantifier (predicate logic) +. -> ... implication There are also following sets assumed: -{} ... empty set (used especially with set difference: \) +{} ... empty set 2^Z ... potential set of a set denoted with Z NODES ... set of all nodes RESOURCES ... set of all resources/services |