示例#1
0
 /**
  * This method evaluates whether the left operand is NOT identical to the right operand.
  *
  * @access public
  * @static
  * @param ITrit\Type $x                                     the left operand
  * @param Core\Type $y                                      the right operand
  * @return IBool\Type                                       whether the left operand is NOT identical
  *                                                          to the right operand
  */
 public static function ni(ITrit\Type $x, Core\Type $y) : IBool\Type
 {
     // !==
     return IBool\Module::not(ITrit\Module::id($x, $y));
 }
示例#2
0
 /**
  * This method tests the "id" method.
  *
  * @dataProvider data_id
  */
 public function test_id(array $provided, array $expected)
 {
     $p0 = ITrit\Module::id(ITrit\Type::box($provided[0]), ITrit\Type::box($provided[1]));
     $e0 = $expected[0];
     $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0);
     $this->assertSame($e0, $p0->unbox());
 }