/usr/share/spark/checker/helptext/rxsets.chl is in spark 2012.0.deb-11build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | [rules = sets].
'Rules: sets. Location: SPADE$CHECKER:SETS.RUL'.
''.
'A family of rules for the FDL set operators. The main groupings are:'.
''.
' (1-3): simple X in A & X not_in A rules.'.
' (4-11): properties of set union (\\/).'.
' (12-19): properties of set intersection (/\\).'.
' (20-27): properties of set "lacking" (\\).'.
' (28): X not_in (set []): nothing is in the empty set.'.
' (29-36): properties of the subset_of relation.'.
' (37): definition of strict_subset_of relation.'.
' (38-39): commutativity of \\/ and /\\.'.
' (40-41): associativity of \\/ and /\\.'.
' (42-43): distributivity of /\\ over \\/ and \\/ over /\\.'.
|