Lines Matching refs:C1
802 summary:"The constraint expression C1 and the constraint expression C2 is true.
805 template:"?C1 #/\\ ?C2",
806 desc:html(" This constraint states that both constraint expressions C1 and C2 must
807 be true. It is identical to normal conjunstion (C1, C2).
811 args:["?C1" : "An arithmetic constraint expression.", "?C2" : "An arithmetic constraint expression."],
813 fail_if:" Fails if one of C1 or C2 is false.\n\n",
1639 summary:"The constraint expression C1 is equivalent to the constraint expression C2.
1642 template:"?C1 #<=> ?C2",
1644 desc:html(" This constraint states that the constraint expressions C1 and C2
1654 args:["?C1" : "An arithmetic constraint expression.", "?C2" : "An arithmetic constraint expression."],
1656 fail_if:" Fails if C1 and C2 are not bothe true or both false.\n\n",
1852 summary:"The constraint expression C1 implies the constraint expression C2.
1855 template:"?C1 #=> ?C2",
1857 desc:html(" This constraint states that the constraint expression C1 implies the
1860 may cause C1 to succeed, it is woken and re-evaluated. If C1 is true,
1865 args:["?C1" : "An arithmetic constraint expression.", "?C2" : "An arithmetic constraint expression."],
1867 fail_if:" Fails if C1 is true and C2 is false.\n\n",
2815 summary:"The constraint expression C1 or the constraint expression C2 is true.
2818 template:"?C1 #\\/ ?C2",
2821 expressions C1, C2 must be true. If this is already the case, it simply
2829 args:["?C1" : "An arithmetic constraint expression.", "?C2" : "An arithmetic constraint expression."],
2831 fail_if:" Fails if both C1 and C2 are false.\n\n",