/**
* @test
*/
public function notLesserThanIsEqualsOrGreaterThan()
{
$eq2 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(2);
$lt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(2);
$gt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(2);
$this->assertTrue($lt2->not()->isEqualTo($eq2->lOr($gt2)));
}
/**
* @test
*/
public function Eq4OrGt4IsGeneralizationOfEq4OrGt4AndEq2OrLt2()
{
$eq4 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(4);
$eq2 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(2);
$gt4 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(4);
$lt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(2);
$this->assertTrue($eq4->lOr($gt4)->isGeneralizationOf($eq4->lOr($gt4)->lAnd($eq2->lOr($lt2))));
}