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

• const int LIMIT = 55

---

Variable Documentation

const int LIMIT = 55

Definition at line 12 of file bryant.cpp.

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