cprover
aig_nodet Class Reference

#include <aig.h>

Collaboration diagram for aig_nodet:
[legend]

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
 

Detailed Description

Definition at line 21 of file aig.h.

Constructor & Destructor Documentation

§ aig_nodet()

aig_nodet::aig_nodet ( )
inline

Definition at line 26 of file aig.h.

Referenced by aigt::new_node().

Member Function Documentation

§ is_and()

§ is_var()

bool aig_nodet::is_var ( ) const
inline

Definition at line 35 of file aig.h.

References literalt::unused_var_no(), and literalt::var_no().

Referenced by aigt::print().

§ make_and()

void aig_nodet::make_and ( literalt  _a,
literalt  _b 
)
inline

Definition at line 40 of file aig.h.

§ make_var()

void aig_nodet::make_var ( )
inline

Definition at line 46 of file aig.h.

References literalt::set(), and literalt::unused_var_no().

Member Data Documentation

§ a

§ b


The documentation for this class was generated from the following file: