cprover
|
#include <aig.h>
Public Member Functions | |
aig_nodet () | |
bool | is_and () const |
bool | is_var () const |
void | make_and (literalt _a, literalt _b) |
void | make_var () |
Public Attributes | |
literalt | a |
literalt | b |
|
inline |
Definition at line 26 of file aig.h.
Referenced by aigt::new_node().
|
inline |
Definition at line 30 of file aig.h.
References literalt::unused_var_no(), and literalt::var_no().
Referenced by aig_prop_solvert::compute_phase(), aig_prop_solvert::convert_node(), aigt::get_terminals_rec(), aigt::output_dot_node(), aigt::print(), and aig_prop_solvert::usage_count().
|
inline |
Definition at line 35 of file aig.h.
References literalt::unused_var_no(), and literalt::var_no().
Referenced by aigt::print().
|
inline |
Definition at line 46 of file aig.h.
References literalt::set(), and literalt::unused_var_no().
literalt aig_nodet::a |
Definition at line 24 of file aig.h.
Referenced by aig_prop_solvert::compute_phase(), aig_prop_solvert::convert_node(), aigt::empty(), aigt::get_terminals_rec(), aigt::output_dot_node(), aigt::print(), and aig_prop_solvert::usage_count().
literalt aig_nodet::b |
Definition at line 24 of file aig.h.
Referenced by aig_prop_solvert::compute_phase(), aig_prop_solvert::convert_node(), aigt::get_terminals_rec(), aigt::output_dot_node(), aigt::print(), and aig_prop_solvert::usage_count().