times_minus Class Reference

#include <032_times_minus.h>

List of all members.

Public Member Functions
	times_minus (perm032 &)
bool	next_opr_pos ()
bool	isZero ()
void	printExpr ()
int	getProduct ()
	print expression to stdout

---

Detailed Description

check whether A times B minus C is true for given permutation

Definition at line 10 of file 032_times_minus.h.

---

The documentation for this class was generated from the following file:

• 032_times_minus.h