- inherited Term, PLA (BoomTerm, BoomPLA) - with Cover, etc.
- PLA::GetConstData? jde to?
- PLA::keepTT - uchovavat OM? (pro AppendTerm). ZDD?
- Term::setLit vs. TT
- CD-S - vyrazeni offsetu, se kterym se impl. nemuze protinat
- Lepsi sprava Cube::index (pri ubirani termu, hlavne Purge)
- podpora TT u setLit
- SoPLA *PLASharp( SoPLA &pla1, SoPLA &pla2 ) - removed absorbed pro SoPLA
- pridat tautology, pak kontrola v PLA::isImplicant
- PLAComplement na prazdne pla vraci prazdne pla
- Term::contains - Cube::contains(t.IM) zpomaluje, kdyz je Cube::contains(t)
- PLA::isImplicantNoOMCheck - if ( (*ti).Cube::intersects(t) ) return false; to same
- Network - kopirovaci konstruktor nefunguje! Napr. signals odkazuje na iteratory puvodni site

-ext_min -ext_ortho -ortho -report -onsetmin -offsetmin -orthodcs -dc -odc alu4.blif

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

+ rychle operace
+ oddeleni konceptu od reprezentace
- Mnoho dalsich setteru a getteru