Searched defs:TranslationValidator (Results 1 – 1 of 1) sorted by relevance
244 def z3op(op: Callable, validator: "TranslationValidator") -> Callable:314 def __init__(self, graph: torch.fx.Graph, validator: "TranslationValidator"):346 validator: "TranslationValidator",433 class TranslationValidator: class