File size: 792 Bytes
effde1c |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 |
"""
Minimal stub for `problem` module used in trace_back tests. Provides lightweight
constructs used by tests so import-time failures do not occur during collection.
"""
from typing import Any, List
class Problem:
def __init__(self, text: str):
self.text = text
self.goal = None
@classmethod
def from_txt(cls, txt: str) -> 'Problem':
return cls(txt)
class Definition:
@classmethod
def from_txt_file(cls, path: str, to_dict: bool = False):
return {}
class Theorem:
@classmethod
def from_txt_file(cls, path: str, to_dict: bool = False):
return {}
class Dependency:
def __init__(self, *args, **kwargs):
pass
__all__ = ["Problem", "Definition", "Theorem", "Dependency"]
|