| 22 | #include "TimeUtils.h" |
| 23 | |
| 24 | MILPEncoder::MILPEncoder( const ITableau &tableau ) |
| 25 | : _tableau( tableau ) |
| 26 | , _statistics( NULL ) |
| 27 | { |
| 28 | } |
| 29 | |
| 30 | void MILPEncoder::encodeInputQuery( GurobiWrapper &gurobi, |
| 31 | const InputQuery &inputQuery, |
nothing calls this directly
no outgoing calls
no test coverage detected