Searched refs:widen_BHRZ03_with_tokens (Results 1 – 1 of 1) sorted by relevance
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
| H A D | pl_check.pl | 209 widen_BHRZ03_with_tokens,
1247 widen_BHRZ03_with_tokens :- label
1249 widen_BHRZ03_with_tokens(c, [A >= 1], [A >= 1, B >= 1],
1252 widen_BHRZ03_with_tokens(c, [A >= 1, B >= 0], [A >= 1, B >= 1],
1255 widen_BHRZ03_with_tokens(nnc, [A > 1], [A > 1, B > 1],
1258 widen_BHRZ03_with_tokens(nnc, [A > 1, B >= 0], [A > 1, B >= 1],
1262 widen_BHRZ03_with_tokens(Topology,
|