(self, superset: Universe)
| 42 | self.solver.add_clause([-varA, varB]) |
| 43 | |
| 44 | def get_subset(self, superset: Universe) -> Universe: |
| 45 | subset = Universe() |
| 46 | self.register_as_subset(subset, superset) |
| 47 | return subset |
| 48 | |
| 49 | def get_superset(self, subset: Universe) -> Universe: |
| 50 | superset = Universe() |
no test coverage detected