Searched refs:disjuncts (Results 201 – 225 of 266) sorted by relevance
1234567891011
3908 A set or relation can have several disjuncts, separated3917 contains a single number representing the number of disjuncts.
4247 A set or relation can have several disjuncts, separated4256 contains a single number representing the number of disjuncts.
9026 disjuncts
1951 disjuncts.
4807 disjuncts. We have implemented a light-weight static