C# Class QuickCheck.Examples.MathProperties

Inheritance: TestProperties

Datei anzeigen 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