#include <iosfwd>
#include <util/narrow.h>
#include <vector>
Go to the source code of this file.
◆ forall_literals
#define forall_literals |
( |
|
it, |
|
|
|
bv |
|
) |
| |
Value: for(bvt::const_iterator it=(bv).begin(), it_end=(bv).end(); \
it!=it_end; ++it)
Definition at line 203 of file literal.h.
◆ Forall_literals
#define Forall_literals |
( |
|
it, |
|
|
|
bv |
|
) |
| |
Value: for(bvt::iterator it=(bv).begin(); \
it!=(bv).end(); ++it)
Definition at line 207 of file literal.h.
◆ bvt
◆ const_literal()
◆ is_false()
◆ is_true()
◆ neg()
◆ operator<<()
std::ostream& operator<< |
( |
std::ostream & |
out, |
|
|
literalt |
l |
|
) |
| |
◆ pos()