diff options
author | Jan Pokorný <jpokorny@redhat.com> | 2014-03-13 13:27:58 +0100 |
---|---|---|
committer | Jan Pokorný <jpokorny@redhat.com> | 2014-03-13 13:27:58 +0100 |
commit | e506f40ce5d37e4eef73908430ab3cdc154801d9 (patch) | |
tree | 47b10d2238a8f9dcce41c611c3695875a4d9e6aa /doc | |
parent | e23d2d8432d2dd3f8bd198346bf93752d836aa4a (diff) | |
download | clufter-e506f40ce5d37e4eef73908430ab3cdc154801d9.tar.gz clufter-e506f40ce5d37e4eef73908430ab3cdc154801d9.tar.xz clufter-e506f40ce5d37e4eef73908430ab3cdc154801d9.zip |
doc: rgmanager-pacemaker.resources: extend symbols explanation
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rgmanager-pacemaker.resources.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/rgmanager-pacemaker.resources.txt b/doc/rgmanager-pacemaker.resources.txt index 9a6dc61..25ea094 100644 --- a/doc/rgmanager-pacemaker.resources.txt +++ b/doc/rgmanager-pacemaker.resources.txt @@ -33,10 +33,13 @@ 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 There are also following sets assumed: |