C# Class QuickCheck.Examples.MathProperties

Inheritance: TestProperties
Exibir arquivo Open project: jystic/quickcheck-net

Public Methods

Method Description
multiplication_commutes ( int x, int y ) : void
positive_squares ( int x ) : void
reverse_reverse_is_identity ( int xs ) : void
square_is_greater_than_value ( int x ) : void
union_commutes ( HashSet xs, HashSet ys ) : void

Method Details

multiplication_commutes() public method

public multiplication_commutes ( int x, int y ) : void
x int
y int
return void

positive_squares() public method

public positive_squares ( int x ) : void
x int
return void

reverse_reverse_is_identity() public method

public reverse_reverse_is_identity ( int xs ) : void
xs int
return void

square_is_greater_than_value() public method

public square_is_greater_than_value ( int x ) : void
x int
return void

union_commutes() public method

public union_commutes ( HashSet xs, HashSet ys ) : void
xs HashSet
ys HashSet
return void