/** * This method tests the "id" method. * * @dataProvider data_id */ public function test_id(array $provided, array $expected) { $p0 = IRegex\Module::id(IRegex\Type::box($provided[0]), IRegex\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 identical to the right operand. * * @access public * @static * @param IRegex\Type $xs the left operand * @param Core\Type $ys the right operand * @return IBool\Type whether the left operand is NOT identical * to the right operand */ public static function ni(IRegex\Type $xs, Core\Type $ys) : IBool\Type { // !== return IBool\Module::not(IRegex\Module::id($xs, $ys)); }