diff options
| author | Jan Pokorný <jpokorny@redhat.com> | 2014-03-26 01:25:21 +0100 |
|---|---|---|
| committer | Jan Pokorný <jpokorny@redhat.com> | 2014-03-26 01:25:21 +0100 |
| commit | 79c5ff5cf81cc14dfbbeef88966858692aac45be (patch) | |
| tree | b2ca20d33353f41e34dea2a46b42452fc15f7987 /doc | |
| parent | 5053f6714252b1bff00752d121c2745954de532a (diff) | |
| download | clufter-79c5ff5cf81cc14dfbbeef88966858692aac45be.tar.gz clufter-79c5ff5cf81cc14dfbbeef88966858692aac45be.tar.xz clufter-79c5ff5cf81cc14dfbbeef88966858692aac45be.zip | |
doc/rgmanager-pacemaker.resources: explicit "maps to"
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/rgmanager-pacemaker.resources.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/rgmanager-pacemaker.resources.txt b/doc/rgmanager-pacemaker.resources.txt index 886f1e8..7637716 100644 --- a/doc/rgmanager-pacemaker.resources.txt +++ b/doc/rgmanager-pacemaker.resources.txt @@ -43,7 +43,7 @@ descending precedence priority, like this: . OR ... disjunction . exists ... existential quantifier (predicate logic) . for all ... universal quantifier (predicate logic) -. -> ... implication +. -> ... implication (--> as "maps to" in function signature context) There are also following sets assumed: @@ -54,9 +54,9 @@ RESOURCES ... set of all resources/services and these functions: -RUNNABLE: NODES -> RESOURCES +RUNNABLE: NODES --> RESOURCES ... all resources that can run on given node -SCORE: RESOURCES x NODES -> {0, 1, ...} +SCORE: RESOURCES x NODES --> {0, 1, ...} ... order of preference for given resource to run on given node (without contribution of preference implied by the examined property) |