bryant.cpp File Reference

#include "vc.h"
#include "expr_transform.h"
#include "theory_core.h"
#include "command_line_flags.h"
#include "core_proof_rules.h"

Include dependency graph for bryant.cpp:

Go to the source code of this file.

Variables


Variable Documentation

const int LIMIT = 55

Definition at line 12 of file bryant.cpp.

Referenced by CVC3::ExprTransform::dobryant(), and CVC3::ExprTransform::Get_ITEs().


Generated on Wed Nov 18 16:13:37 2009 for CVC3 by  doxygen 1.5.2