|
public WriteInterpolationProblem ( string filename, |
||
| filename | string | |
| cnsts | ||
| parents | uint | |
| theory | ||
| Résultat | void | |
public void WriteInterpolationProblem(string filename, Expr[] cnsts, uint[] parents, Expr[] theory)
{
Contract.Requires(cnsts.Length == parents.Length);
Native.Z3_write_interpolation_problem(nCtx, (uint)cnsts.Length, Expr.ArrayToNative(cnsts), parents, filename, (uint)theory.Length, Expr.ArrayToNative(theory));
}