Searched defs:SmtlibException (Results 1 – 2 of 2) sorted by relevance
34 SmtlibException() { } in SmtlibException() function35 SmtlibException(const std::string& msg): Exception(msg) { } in SmtlibException() function36 SmtlibException(const char* msg): Exception(msg) { } in SmtlibException() function
6 public class SmtlibException extends Cvc3Exception { class10 public SmtlibException(String message) { in SmtlibException() method in SmtlibException