Lines Matching refs:Post
54 Post => Sqrt'Result >= 0.0
77 Post => (if X = 1.0 then Log'Result = 0.0);
81 Post => (if X = 1.0 then Log'Result = 0.0);
84 Post => (if X = 0.0 then Exp'Result = 1.0);
88 Post => "**"'Result >= 0.0
96 Post => Sin'Result in -1.0 .. 1.0
101 Post => Sin'Result in -1.0 .. 1.0
106 Post => Cos'Result in -1.0 .. 1.0
111 Post => Cos'Result in -1.0 .. 1.0
115 Post => (if X = 0.0 then Tan'Result = 0.0);
120 Post => (if X = 0.0 then Tan'Result = 0.0);
133 Post => (if X = 0.0 then Arcsin'Result = 0.0);
137 Post => (if X = 0.0 then Arcsin'Result = 0.0);
141 Post => (if X = 1.0 then Arccos'Result = 0.0);
145 Post => (if X = 1.0 then Arccos'Result = 0.0);
152 Post => (if X > 0.0 and then Y = 0.0 then Arctan'Result = 0.0);
160 Post => (if X > 0.0 and then Y = 0.0 then Arctan'Result = 0.0);
167 Post => (if X > 0.0 and then Y = 0.0 then Arccot'Result = 0.0);
175 Post => (if X > 0.0 and then Y = 0.0 then Arccot'Result = 0.0);
178 Post => (if X = 0.0 then Sinh'Result = 0.0);
181 Post => Cosh'Result >= 1.0
185 Post => Tanh'Result in -1.0 .. 1.0
190 Post => abs Coth'Result >= 1.0;
193 Post => (if X = 0.0 then Arcsinh'Result = 0.0);
197 Post => Arccosh'Result >= 0.0
202 Post => (if X = 0.0 then Arctanh'Result = 0.0);