Searched refs:ParAndThen (Results 1 – 4 of 4) sorted by relevance
3614 public Tactic ParAndThen(Tactic t1, Tactic t2) in ParAndThen() method in Microsoft.Z3.Context
3539 public Tactic ParAndThen(Tactic t1, Tactic t2) in ParAndThen() method in Microsoft.Z3.Context
8271 def ParAndThen(t1, t2, ctx=None): function
7872 def ParAndThen(t1, t2, ctx=None): function