public SMTErrorModelConverter(SExpr _ErrorModel, SMTLibProcessTheoremProver _Parent) { ErrorModelTodo = _ErrorModel.Arguments.ToList();; Parent = _Parent; }
public MyFileParser(System.IO.StreamReader _sr, SMTLibProcessTheoremProver _parent) : base(_sr) { parent = _parent; }