circuit.cpp File Reference

Circuit class. More...

#include "circuit.h"
#include "search_fast.h"
#include "search_rules.h"

Include dependency graph for circuit.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3

Defines

• #define vals3(a, b, c)   ((a) + 1 + ((b) + 1) * 3 + ((c) + 1) * 9)
• #define vals4(a, b, c, d)   (vals3(a, b, c) + ((d) + 1) * 27)

---

Detailed Description

Circuit class.

---

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 LICENSE file provided with this distribution.

---

Definition in file circuit.cpp.

---

Define Documentation

#define vals3	(	a,
		b,
		c		)	((a) + 1 + ((b) + 1) * 3 + ((c) + 1) * 9)

Definition at line 44 of file circuit.cpp.

Referenced by CVC3::Circuit::propagate().

#define vals4	(	a,
		b,
		c,
		d		)	(vals3(a, b, c) + ((d) + 1) * 27)

Definition at line 45 of file circuit.cpp.

Referenced by CVC3::Circuit::propagate().

---