Lines Matching refs:tag
988 def next_hyp (self, (hyp, tag), hyp_dict):
991 hyp_dict[name] = tag
1000 raw_hyps = [(hyp2, tag) for (hyp, tag) in hyps
1151 unsat_core.extend ([tag for (_, tag) in hyps])
1870 for (i, (ass, tag)) in enumerate (asserts):
1900 return set ([tag for (_, tag) in asserts])
1904 hyps = [(smt_expr (hyp, env, self), tag) for (hyp, tag) in hyps]
1916 core = [(ass, tag) for (ass, tag) in hyps
1917 if tag in unsat_core] + [(ass, tag)
1918 for (ass, tag) in self.assertions
1919 if tag in unsat_core]