BooleEnv.cc File Reference
#include "BooleEnv.h"
#include "BoolePolyRing.h"
#include "OrderedManager.h"
Detailed Description
- Author:
- Alexander Dreyer
- Date:
- 2006-03-06
This file implements the class BooleEnv, which hold global structures. a polynomial ring over Booleans.
- Copyright:
- (c) 2007 by The PolyBoRi Team