fix the accessibility modifier for Coverage class
fix accessibility modifier for CubesComplex class
Start to implement Coverage logic
create coverage by truth table
implement coverage's functionality