Source

z3 / src / util / timeout.h

Full commit
/*++
Copyright (c) 2006 Microsoft Corporation

Module Name:

    timeout.h

Abstract:

    Timeout support

Author:

    Leonardo de Moura (leonardo) 2006-10-02.

Revision History:

--*/
#ifndef _TIMEOUT_H_
#define _TIMEOUT_H_

void register_on_timeout_proc(void (*proc)());

void set_timeout(long ms);

#endif // _TIMEOUT_H_