Kernel/lib/fd.pl

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",