/** * This method tests the "eq" method. * * @dataProvider data_eq */ public function test_eq(array $provided, array $expected) { $p0 = IFloat\Module::eq(IFloat\Type::box($provided[0]), IFloat\Type::box($provided[1])); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0); $this->assertSame($e0, $p0->unbox()); }
/** * This method evaluates whether the left operand is NOT equal to the right operand. * * @access public * @static * @param IFloat\Type $x the left operand * @param Core\Type $y the right operand * @return IBool\Type whether the left operand is NOT equal * to the right operand */ public static function ne(IFloat\Type $x, Core\Type $y) : IBool\Type { // != return IBool\Module::not(IFloat\Module::eq($x, $y)); }