Searched refs:from_prime (Results 1 – 2 of 2) sorted by relevance
68 from_prime = prime_node_mapping[from_node]71 result[from_prime][to_node] = value72 result[to_node][from_prime] = value
823 struct clause *into_prime, *from_prime, *para; in identity_paramod() local850 from_prime = cl_copy_delete_literal(from_cl, from_pos->i); in identity_paramod()851 para = cl_append(from_prime, into_prime); in identity_paramod()