cprover
|
#include <aig.h>
Public Types | |
typedef std::vector< literalt > | constraintst |
![]() | |
typedef aig_nodet | nodet |
typedef std::vector< nodet > | nodest |
typedef std::set< literalt::var_not > | terminal_sett |
typedef std::map< literalt::var_not, terminal_sett > | terminalst |
Public Member Functions | |
void | clear () |
![]() | |
aigt () | |
~aigt () | |
void | clear () |
void | get_terminals (terminalst &terminals) const |
const aig_nodet & | get_node (literalt l) const |
aig_nodet & | get_node (literalt l) |
nodest::size_type | number_of_nodes () const |
void | swap (aigt &g) |
literalt | new_node () |
literalt | new_var_node () |
literalt | new_and_node (literalt a, literalt b) |
bool | empty () const |
void | print (std::ostream &out) const |
void | print (std::ostream &out, literalt a) const |
void | output_dot_node (std::ostream &out, nodest::size_type v) const |
void | output_dot_edge (std::ostream &out, nodest::size_type v, literalt l) const |
void | output_dot (std::ostream &out) const |
std::string | label (nodest::size_type v) const |
std::string | dot_label (nodest::size_type v) const |
Public Attributes | |
constraintst | constraints |
![]() | |
nodest | nodes |
Additional Inherited Members | |
![]() | |
const std::set< literalt::var_not > & | get_terminals_rec (literalt::var_not n, terminalst &terminals) const |
typedef std::vector<literalt> aig_plus_constraintst::constraintst |
|
inline |
Definition at line 150 of file aig.h.
References aigt::clear().
constraintst aig_plus_constraintst::constraints |
Definition at line 148 of file aig.h.
Referenced by aig_prop_constraintt::l_set_to().