(self, url: str, clauses: list[Clause], goal: Construction)
| 183 | return {p.url: p for p in data} |
| 184 | |
| 185 | def __init__(self, url: str, clauses: list[Clause], goal: Construction): |
| 186 | self.url = url |
| 187 | self.clauses = clauses |
| 188 | self.goal = goal |
| 189 | |
| 190 | def copy(self) -> Problem: |
| 191 | return Problem(self.url, list(self.clauses), self.goal) |
nothing calls this directly
no outgoing calls
no test coverage detected