- inherited Term, PLA (BoomTerm, BoomPLA) - with Cover, etc.
- PLA::GetConstData? jde to?
- PLA::keepTT - uchovavat OM? (pro AppendTerm). ZDD?
- Term::SetIM vs. TT
- vylepseni komplementu
- Consistency check
- CD-S - vyrazeni offsetu, se kterym se impl. nemuze protinat
- Lepsi sprava Cube::index (pri ubirani termu, hlavne Purge)
- podpora TT u SetIM
- SoPLA *PLASharp( SoPLA &pla1, SoPLA &pla2 ) - removed absorbed pro SoPLA
- pridat tautology, pak kontrola v PLA::IsImplicant
- PLAComplement na prazdne pla vraci prazdne pla


Reprezentace termu jako 2x bitvector
============================
1 = (1, 0)
0 = (0, 0)
dc = (0, 1)

+ rychle operace
+ oddeleni konceptu od reprezentace
- pomaly pristup k polozkam
- Mnoho dalsich setteru a getteru