| public TryFor ( Microsoft.Z3.Tactic t, uint ms ) : Microsoft.Z3.Tactic | ||
| t | Microsoft.Z3.Tactic | |
| ms | uint | |
| Résultat | Microsoft.Z3.Tactic | |
public Tactic TryFor(Tactic t, uint ms)
{
Contract.Requires(t != null);
Contract.Ensures(Contract.Result<Tactic>() != null);
CheckContextMatch(t);
return new Tactic(this, Native.Z3_tactic_try_for(nCtx, t.NativeObject, ms));
}