torch.fx.experimental.migrate_gradual_types.transform_to_z3.evaluate_conditional_with_constraints#
- torch.fx.experimental.migrate_gradual_types.transform_to_z3.evaluate_conditional_with_constraints(tracer_root, graph, node, counter=0, user_constraints=None)[source]#
Given an IR and a node representing a conditional, evaluate the conditional and its negation :param tracer_root: Tracer root for module instances :param node: The node to be evaluated
Returns: the results of evaluating the condition and the negation with the rest of the constraints
