torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_all_constraints_trace_time#
- torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_all_constraints_trace_time(tracer_root, graph, node, counter=0)[source]#
Takes a node and a graph and generates two sets of constraints. One set constraints the node’s constraints and another set constraints the negation of the node’s constraints :param tracer_root: the root for getting the module instances :param graph: the graph so far in the tracing process :param node: node that represents a conditional :param counter: variable tracking
Returns: Two sets of constraints. One with a conjunction with the the conditional constraint and the other with a conjunction with its negation.
