committed by
GitHub
parent
d76a0f6dd6
commit
e788b7675f
@@ -7,9 +7,9 @@
|
||||
//
|
||||
// Any terms provided in the filename can be thought of as an implicit extra
|
||||
// constraint comment line. Collectively, these are referred to as
|
||||
// ``constraints''. Each line is a ``constraint''. Within each constraint the
|
||||
// space-separated terms are ``options'', and within that the comma-separated
|
||||
// items are ``terms'' which may be negated with at most one exclaimation mark.
|
||||
// “constraints”. Each line is a “constraint”. Within each constraint the
|
||||
// space-separated terms are “options”, and within that the comma-separated
|
||||
// items are “terms” which may be negated with at most one exclaimation mark.
|
||||
//
|
||||
// These represent a boolean formulae. The constraints are evaluated as the AND
|
||||
// of constraint lines; a constraint is evaluated as the OR of its options and
|
||||
|
||||
Reference in New Issue
Block a user