cvc4-1.3
|
#include "cvc4_public.h"
Go to the source code of this file.
Typedefs | |
typedef void * | VC |
typedef void * | Context |
typedef void * | ExprManager |
typedef void * | Flags |
typedef void * | Expr |
typedef void * | Op |
typedef void * | Type |
typedef void * | Proof |
Author: Clark Barrett
Created: Thu Jun 5 13:16:26 2003
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the COPYING file provided with this distribution.
Definition in file c_interface_defs.h.
typedef void* Context |
Definition at line 42 of file c_interface_defs.h.
typedef void* Expr |
Definition at line 46 of file c_interface_defs.h.
typedef void* ExprManager |
Definition at line 43 of file c_interface_defs.h.
typedef void* Flags |
Definition at line 44 of file c_interface_defs.h.
typedef void* Op |
Definition at line 47 of file c_interface_defs.h.
typedef void* Proof |
Definition at line 49 of file c_interface_defs.h.
typedef void* Type |
Definition at line 48 of file c_interface_defs.h.
typedef void* VC |
Definition at line 41 of file c_interface_defs.h.