mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-12-24 09:10:36 +00:00
Code Issues 1 Projects Releases Wiki Activity

design/caps: fix and clarify subset operations with empty fields

Browse source 
https://bugzilla.gnome.org/show_bug.cgi?id=775786
This commit is contained in:
Matthew Waters 2016-12-08 20:22:53 +11:00
parent 40317e7bf3
commit a3fe9f6a7d
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
markdown/design/caps.md
View file

@ -41,9 +41,13 @@ One caps "A" is a subset of another caps "B" if for each structure in
in "A". in "A".
A structure "a" is the subset of a structure "b" if it has the same A structure "a" is the subset of a structure "b" if it has the same
structure name, the same caps features and each field in "b" exists in structure name, the same caps features and each field in "b" either does not
"a" and the value of the field in "a" is a subset of the value of the exist in "a", or the value of the field in "a" is a subset of the value of the
field in "b". "a" can have additional fields that are not in "b". field in "b". "a" must not have additional fields that are not in "b". Fields
that are in "b" but not in "a" (aka, an empty field) are always a subset.
This is different to the intuitive mathematical definition as an empty field
is defined to contain all possible values. This means that the empty field is
always a superset of any other field.
EMPTY caps are a subset of every other caps. Every caps are a subset of EMPTY caps are a subset of every other caps. Every caps are a subset of
ANY caps. ANY caps.