blob: f9ebc713dada793f0a7bacaf7ae5754ff81dcd4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
/********************* -*- C++ -*- */
/** smt_engine.cpp
** This file is part of the CVC4 prototype.
** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
** information.
**
**/
#include "smt/smt_engine.h"
#include "util/exception.h"
#include "util/command.h"
namespace CVC4 {
void doCommand(Command* c) {
if(c->getSmtEngine() != this)
throw new IllegalArgumentException("SmtEngine does not match Command");
c->invoke();
}
}/* CVC4 namespace */
|
