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